Theorem CategoryTheory.Equivalence.CommMon_.EquivLaxBraidedFunctorPUnit.counitIso_aux_mul

Modification history