Theorem CategoryTheory.ShortComplex.SnakeInput.exact_C₃_up

Modification history