Theorem CategoryTheory.Functor.essImage_eq_of_natIso

Modification history