Def CategoryTheory.Equivalence.Mon_.EquivLaxMonoidalFunctorPUnit.unitIso

Modification history