Def Equiv.toLocalEquivOfImageEq

Modification history

2023-12-13 09:43

Mathlib/Logic/Equiv/PartialEquiv.lean

chore: rename LocalEquiv to PartialEquiv (#8984) …

Deleted Equiv.toLocalEquivOfImageEq View on Github →

2023-07-26 12:12

Mathlib/Logic/Equiv/LocalEquiv.lean

refactor: rename/redefine `homeomorphUnitBall` (#6030) …

Added Equiv.toLocalEquivOfImageEq View on Github →