Theorem CategoryTheory.ShortComplex.SnakeInput.w₁₃_τ₁

Modification history