Theorem CategoryTheory.ShortComplex.moduleCatCyclesIso_inv_iCycles

Modification history