Theorem hasGroupoid_inf_iff

Modification history

2026-01-15 09:15
Mathlib/Geometry/Manifold/ChartedSpace.lean
refactor(Geometry/Manifold): split long file ChartedSpace.lean (#33896) …
Modified hasGroupoid_inf_iffView on Github →
2023-09-17 04:53
Mathlib/Geometry/Manifold/ChartedSpace.lean
feat: Add analytic structure groupoid on models with corners (#6386)
Added hasGroupoid_inf_iffView on Github →