Theorem CategoryTheory.Functor.EssImageSubcategory.tensor_obj

Modification history