Def CategoryTheory.Functor.toEssImage

Modification history