Theorem CategoryTheory.ShortComplex.SnakeInput.mono_δ

Modification history