Theorem CategoryTheory.Functor.OplaxMonoidal.EssImageSubcategory.tensor_obj

Modification history