Theorem CategoryTheory.Functor.OplaxMonoidal.δ_of_cartesianMonoidalCategory

Modification history