Theorem CategoryTheory.ShortComplex.moduleCatLeftHomologyData_f'_hom

Modification history