Def CategoryTheory.Abelian.isLimitImage

Modification history