Theorem CategoryTheory.surjective_of_epi

Modification history