Theorem OpenPartialHomeomorph.extend_image_source_inter

Modification history

2026-02-27 22:05
Mathlib/Geometry/Manifold/IsManifold/ExtChartAt.lean
feat(Geometry/Manifold): API for extended coordinate changes (#35391) …
Modified OpenPartialHomeomorph.extend_image_source_interView on Github →
2025-10-02 09:10
Mathlib/Geometry/Manifold/IsManifold/ExtChartAt.lean
chore: rename PartialHomeomorph to OpenPartialHomeomorph (#29113) …
Added OpenPartialHomeomorph.extend_image_source_interView on Github →