Theorem CategoryTheory.ShortComplex.moduleCatLeftHomologyData_liftK_hom

Modification history