Def LocalEquiv.prod

Modification history

2023-12-13 09:43

Mathlib/Logic/Equiv/PartialEquiv.lean

chore: rename LocalEquiv to PartialEquiv (#8984) …

Deleted LocalEquiv.prod View on Github →

2023-01-07 14:35

Mathlib/Logic/Equiv/LocalEquiv.lean

chore: tidy various files (#1412)

Modified LocalEquiv.prod View on Github →

2023-01-06 13:58

Mathlib/Logic/Equiv/LocalEquiv.lean

feat port: Logic.Equiv.LocalEquiv (#1052) …

Added LocalEquiv.prod View on Github →