Theorem CategoryTheory.ShortComplex.SnakeInput.exact_C₂_up

Modification history