Theorem Prod.commute_iff

Modification history

2023-12-04 18:10
Mathlib/Algebra/Group/Prod.lean
feat(Algebra/Group): lemmas about `Commute` (#8756)
Added Prod.commute_iffView on Github →