Metrizable

📁 Source: Mathlib/Geometry/Manifold/Metrizable.lean

Statistics

Metric	Count
Definitions	0
Theorems metrizableSpace	1
Total	1

Manifold

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
metrizableSpace 📖	mathematical	—	TopologicalSpace.MetrizableSpace	—	TopologicalSpace.metrizableSpace_of_t3_secondCountable T4Space.t3Space T4Space.of_paracompactSpace_t2Space paracompact_of_locallyCompact_sigmaCompact instWeaklyLocallyCompactSpaceOfLocallyCompactSpace ChartedSpace.locallyCompactSpace ModelWithCorners.locallyCompactSpace locallyCompact_of_proper FiniteDimensional.proper_real ChartedSpace.secondCountable_of_sigmaCompact ModelWithCorners.secondCountableTopology secondCountable_of_proper

---

← Back to Index