Def CategoryTheory.Functor.essImage.witness

Modification history