Theorem CategoryTheory.ShortComplex.ShortExact.isIso_δ

Modification history