Theorem CategoryTheory.ShortComplex.SnakeInput.epi_δ

Modification history