Theorem CategoryTheory.ShortComplex.toCycles_moduleCatCyclesIso_hom

Modification history