Theorem PartialHomeomorph.symm_to_PartialEquiv

Modification history

2025-10-02 09:10
MathlibTest/MfldSetTac.lean
chore: rename PartialHomeomorph to OpenPartialHomeomorph (#29113) …
Deleted PartialHomeomorph.symm_to_PartialEquivView on Github →
2023-12-13 09:43
test/MfldSetTac.lean
chore: rename LocalEquiv to PartialEquiv (#8984) …
Added PartialHomeomorph.symm_to_PartialEquivView on Github →