Theorem CategoryTheory.Equivalence.Mon_.mul_braiding

Modification history