Theorem CategoryTheory.Equivalence.Mon_.EquivLaxMonoidalFunctorPUnit.monToLaxMonoidal_laxMonoidalToMon_obj_one

Modification history