User contributions for 2601:644:8581:75B0:0:0:0:512B
Jump to navigation
Jump to search
4 February 2025
- 09:5709:57, 4 February 2025 diff hist +8,297 N Axiom of constructibility →Significance: specify year of Cohen's proof current