Theorem CategoryTheory.Equivalence.Mon_.one_braiding

Modification history