Theorem CategoryTheory.Abelian.comp_coimage_π_eq_zero

Modification history