Theorem CategoryTheory.ShortComplex.SnakeInput.δ_apply

Modification history