Theorem CategoryTheory.NormalMonoCategory.epi_of_zero_cokernel

Modification history