Theorem CategoryTheory.Abelian.image_ι_comp_eq_zero

Modification history