Theorem OpenPartialHomeomorph.replacePartialEquiv_eq_self

Modification history

2026-05-28 11:18
Mathlib/Topology/OpenPartialHomeomorph/Defs.lean
chore: rename some OpenPartialHomeomorph declarations (#39565) …
Added OpenPartialHomeomorph.replacePartialEquiv_eq_selfView on Github →