User contributions for ~2025-31911-51
Appearance
A user with 1 edit. Account created on 7 November 2025.
7 November 2025
- 16:0716:07, 7 November 2025 diff hist 0 Axiom of choice →Variants: Fixed typo regarding translation of first order logic. current Tags: Mobile edit Mobile web edit