Def CategoryTheory.Equivalence.CommMon_.EquivLaxBraidedFunctorPUnit.counitIso

Modification history