Theorem Equiv.coe_mulLeft

Modification history

2023-12-08 10:23

Mathlib/Algebra/Group/Units/Equiv.lean

chore: Replace `(· op ·) a` by `(a op ·)` (#8843) …

Modified Equiv.coe_mulLeft View on Github →

2022-12-07 15:23

Mathlib/Algebra/Hom/Equiv/Units/Basic.lean

port: Algebra.Hom.Equiv.Units.Basic and Algebra.Order.Group.OrderIso (#895) …

Added Equiv.coe_mulLeft View on Github →