Theorem CategoryTheory.ConcreteCategory.epi_of_surjective

Modification history