Theorem CategoryTheory.ShortComplex.π_moduleCatCyclesIso_hom

Modification history