Theorem CategoryTheory.ShortComplex.moduleCatCyclesIso_inv_π

Modification history