Theorem CategoryTheory.Functor.preservesEpimorphisms_of_map_exact

Modification history