Def CategoryTheory.Abelian.coimageStrongEpiMonoFactorisation

Modification history