Theorem CategoryTheory.ShortComplex.SnakeInput.exact_C₃_down

Modification history