Def LocalEquiv.trans

Modification history

2023-01-06 13:58

test/MfldSetTac.lean

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

Deleted LocalEquiv.trans View on Github →

2022-09-07 12:54

test/MfldSetTac.lean

feat(Mathlib/Logic/Equiv/LocalEquiv): add the `mfld_set_tac` tactic (#331) …

Added LocalEquiv.trans View on Github →