Theorem CategoryTheory.ShortComplex.SnakeInput.snd_δ

Modification history