Def CategoryTheory.Equivalence.CommMon_.EquivLaxBraidedFunctorPUnit.laxBraidedToCommMon

Modification history