Theorem CategoryTheory.Equivalence.Mon_.EquivLaxMonoidalFunctorPUnit.monToLaxMonoidal_laxMonoidalToMon_obj_mul

Modification history