Theorem CategoryTheory.ShortComplex.Exact.isIso_toCycles

Modification history