Theorem ContDiffGroupoid.mem_of_source_eq_empty

Modification history

2025-10-02 09:10
Mathlib/Geometry/Manifold/IsManifold/Basic.lean
chore: rename PartialHomeomorph to OpenPartialHomeomorph (#29113) …
Modified ContDiffGroupoid.mem_of_source_eq_emptyView on Github →
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 →