Theorem CategoryTheory.Functor.OplaxMonoidal.EssImageSubcategory.lift_def

Modification history