Commit 2021-11-26 02:32 f55a284e
View on Github →feat(topology): normal topological space with second countable topology is metrizable (#10402) Also prove that a regular topological space with second countable topology is a normal space.
feat(topology): normal topological space with second countable topology is metrizable (#10402) Also prove that a regular topological space with second countable topology is a normal space.