Theorem CategoryTheory.Equivalence.CommMon_.EquivLaxBraidedFunctorPUnit.commMonToLaxBraidedObj_ε

Modification history