Def CategoryTheory.Abelian.OfCoimageImageComparisonIsIso.imageMonoFactorisation

Modification history