Theorem CategoryTheory.Abelian.OfCoimageImageComparisonIsIso.imageMonoFactorisation_e'

Modification history