Theorem CategoryTheory.ShortComplex.SnakeInput.comp_f₃

Modification history