Theorem StructureGroupoid.maximalAtlas_mono

Modification history

2026-01-15 09:15
Mathlib/Geometry/Manifold/ChartedSpace.lean
refactor(Geometry/Manifold): split long file ChartedSpace.lean (#33896) …
Modified StructureGroupoid.maximalAtlas_monoView on Github →
2024-12-09 08:25
Mathlib/Geometry/Manifold/ChartedSpace.lean
chore: cleanup of manifold files (#19807) …
Added StructureGroupoid.maximalAtlas_monoView on Github →