Theorem CategoryTheory.Abelian.coimageIsoImage'_hom

Modification history