Theorem CategoryTheory.Functor.OplaxMonoidal.EssImageSubcategory.whiskerLeft_def

Modification history