Theorem CategoryTheory.Functor.obj_mem_essImage

Modification history