User contributions for ~2025-31604-90
Appearance
A user with 2 edits. Account created on 6 November 2025.
6 November 2025
- 16:4816:48, 6 November 2025 diff hist +7 Diaconescu's theorem →In topos: Pl current
- 16:3216:32, 6 November 2025 diff hist −15 Constructive set theory →Infinitude: Typo and rephrasing current