Theorem CategoryTheory.Abelian.OfCoimageImageComparisonIsIso.hasImages

Modification history