ThmDex – An index of mathematical definitions, results, and conjectures.
Result R610 on D501: First-countable topological space
Metrisable topological space is first-countable
Subresults
▶ R4010: Polish space is first-countable