Theorem CategoryTheory.Functor.essSurj_of_surj

Modification history