Def CategoryTheory.Equivalence.Mon_.EquivLaxMonoidalFunctorPUnit.monToLaxMonoidal

Modification history