User contributions for 66.31.25.221
Jump to navigation
Jump to search
2 March 2023
- 18:4218:42, 2 March 2023 diff hist +4,241 N Grothendieck trace formula Replaced \ldots with \cdots in two products current