Theorem UniqueMul.mt

Modification history

2023-09-18 15:32

Mathlib/Algebra/Group/UniqueProds.lean

feat: TwoUniqueProds (#7169) …

Modified UniqueMul.mt View on Github →

2023-01-23 12:02

Mathlib/Algebra/Group/UniqueProds.lean

feat: port Algebra.Group.UniqueProds (#1764)

Added UniqueMul.mt View on Github →