Def CategoryTheory.Equivalence.Mon_.EquivLaxMonoidalFunctorPUnit.counitIso

Modification history