Theorem CategoryTheory.Abelian.epi_of_cokernel_π_eq_zero

Modification history