Theorem CategoryTheory.ShortComplex.SnakeInput.comp_f₀

Modification history