Theorem CategoryTheory.Functor.EssImageSubcategory.associator_inv_def

Modification history