Theorem CategoryTheory.Under.epi_of_epi_right

Modification history