Theorem CategoryTheory.ShortComplex.SnakeInput.isIso_δ

Modification history