Theorem CategoryTheory.Functor.OplaxMonoidal.EssImageSubcategory.fst_def

Modification history