Theorem CategoryTheory.ShortComplex.moduleCatCyclesIso_hom_i

Modification history