Theorem UniqueMul.set_subsingleton

Modification history

2023-09-18 15:32
Mathlib/Algebra/Group/UniqueProds.lean
feat: TwoUniqueProds (#7169) …
Modified UniqueMul.set_subsingletonView on Github →
2023-01-23 12:02
Mathlib/Algebra/Group/UniqueProds.lean
feat: port Algebra.Group.UniqueProds (#1764)
Added UniqueMul.set_subsingletonView on Github →