Theorem CategoryTheory.ShortComplex.SnakeInput.naturality_δ

Modification history