Theorem CategoryTheory.ShortComplex.SnakeInput.exact_C₂_down

Modification history