Def CategoryTheory.ShortComplex.SnakeInput.functorL₂

Modification history