Theorem CategoryTheory.Equivalence.Mon_Class.one_braiding

Modification history