Theorem CategoryTheory.Functor.OplaxMonoidal.EssImageSubcategory.snd_def

Modification history