Theorem CategoryTheory.Functor.OplaxMonoidal.EssImageSubcategory.whiskerRight_def

Modification history