Theorem
| Name: | 2nd Countable implies Lindelof |
| Hypothesis: | Second Countable |
| Conclusion: | Lindelof |
| Human Entered Proof: | Munkres theorem 30.3(a). |
Note: This selection of hypothesis and conclusion is only one way to interpret this theorem. The theorem could be written as many different logically equivalent implications.