Theorem CategoryTheory.Functor.OplaxMonoidal.EssImageSubcategory.toUnit_def

Modification history