Def CategoryTheory.Functor.essImage

Modification history