Theorem CategoryTheory.ShortComplex.moduleCatLeftHomologyData_descH_hom

Modification history