Theorem symm_trans_mem_analyticGroupoid
Modification history
2024-06-14 08:06
Mathlib/Geometry/Manifold/AnalyticManifold.lean
refactor: move analyticGroupoid to a new file `AnalyticManifold.lean` (#13785) …
Modified symm_trans_mem_analyticGroupoidView on Github →