Theorem CategoryTheory.ShortComplex.SnakeInput.comp_f₁

Modification history