Theorem CategoryTheory.Preadditive.epi_of_cokernel_iso_zero

Modification history