Theorem CategoryTheory.ConcreteCategory.epi_iff_surjective_of_preservesPushout

Modification history