Theorem CategoryTheory.ShortComplex.SnakeInput.naturality_φ₁

Modification history