Theorem PartialEquiv.mapsTo_symm

Modification history

2026-05-28 11:18
Mathlib/Logic/Equiv/PartialEquiv.lean
chore: rename some OpenPartialHomeomorph declarations (#39565) …
Added PartialEquiv.mapsTo_symmView on Github →