Def CategoryTheory.Equivalence.CommMon_.EquivLaxBraidedFunctorPUnit.commMonToLaxBraided

Modification history