Def CategoryTheory.Abelian.OfCoimageImageComparisonIsIso.imageFactorisation

Modification history