Theorem TwoUniqueProds.of_mulOpposite

Modification history

2023-09-18 15:32
Mathlib/Algebra/Group/UniqueProds.lean
feat: TwoUniqueProds (#7169) …
Added TwoUniqueProds.of_mulOppositeView on Github →