User contributions for ~2025-31482-52
Appearance
A user with 1 edit. Account created on 5 November 2025.
5 November 2025
- 16:3716:37, 5 November 2025 diff hist +2 Heine–Borel theorem →Generalization of the Heine-Borel theorem: Replace hyphen with en dash in section title