Theorem ContDiffGroupoid.mem_of_source_eq_empty

Modification history

2025-01-21 04:10
Mathlib/Geometry/Manifold/IsManifold.lean
feat: the disjoint union of smooth manifolds (#20659) …
Added ContDiffGroupoid.mem_of_source_eq_emptyView on Github →