Def Equiv.transPartialEquiv

Modification history

2024-01-07 11:52

Mathlib/Logic/Equiv/PartialEquiv.lean

feat: add trans assoc type lemmas for `(Partial)Equiv` and `(Partial)Homeomorph` (#9506) …

Modified Equiv.transPartialEquiv View on Github →

2023-12-13 09:43

Mathlib/Logic/Equiv/PartialEquiv.lean

chore: rename LocalEquiv to PartialEquiv (#8984) …

Added Equiv.transPartialEquiv View on Github →