mathlib3
f55a284e - feat(topology): normal topological space with second countable topology is metrizable (#10402)
Commit
View On GitHub
Commit
4 years ago
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.
Author
urkud urkud
Parents
ee71ddfe
FAQ Terms Privacy Refunds Impressum
Loading