Theorem CategoryTheory.Functor.OplaxMonoidal.Monoidal.ε_of_cartesianMonoidalCategory

Modification history