Theorem CategoryTheory.Functor.EssImageSubcategory.associator_hom_def

Modification history