Theorem CategoryTheory.Over.epi_of_epi_left

Modification history