Add Erdős Problem 1173 (set mappings on ω_{ω+1} under GCH)#3794
Open
henrykmichalewski wants to merge 5 commits into
Open
Add Erdős Problem 1173 (set mappings on ω_{ω+1} under GCH)#3794henrykmichalewski wants to merge 5 commits into
henrykmichalewski wants to merge 5 commits into
Commits
Commits on Apr 17, 2026
Commits on Apr 22, 2026
Commits on May 8, 2026
- committed
- committed
- committed