Mathlib Changelog
v4
Changelog
About
Github
Theorem
hasGroupoid_inf_iff
Modification history
2023-09-17 04:53
Mathlib/Geometry/Manifold/ChartedSpace.lean
feat: Add analytic structure groupoid on models with corners (#6386)
Added
hasGroupoid_inf_iff
View on Github →