Theorem CategoryTheory.Abelian.imageIsoImage_hom_comp_image_ι

Modification history