Theorem CategoryTheory.ShortComplex.SnakeInput.φ₁_L₂_f

Modification history