Def CategoryTheory.ShortComplex.abLeftHomologyData

Modification history