Theorem CategoryTheory.Equivalence.IsCommMon.mul_comm

Modification history