Theorem CategoryTheory.Functor.OplaxMonoidal.lift_δ

Modification history