Def CategoryTheory.ShortComplex.moduleCatLeftHomologyData

Modification history