Theorem CategoryTheory.Functor.essSurj_of_iso

Modification history