Theorem CategoryTheory.ShortComplex.SnakeInput.exact_C₁_up

Modification history