Theorem CategoryTheory.ConcreteCategory.surjective_of_epi_of_preservesPushout

Modification history