Theorem ChartedSpace.secondCountable_of_sigma_compact

Modification history

2024-11-14 00:15

Mathlib/Geometry/Manifold/ChartedSpace.lean

chore: rename `second_countable` -> `secondCountable` in lemma and instance names (#18911) …

Deleted ChartedSpace.secondCountable_of_sigma_compact View on Github →

2023-04-11 12:17

Mathlib/Geometry/Manifold/ChartedSpace.lean

feat: port Geometry.Manifold.ChartedSpace (#2365)

Added ChartedSpace.secondCountable_of_sigma_compact View on Github →