Def CategoryTheory.Equivalence.CommMon_.EquivLaxBraidedFunctorPUnit.commMonToLaxBraidedObj

Modification history