Commit 2026-04-05 08:48 d1e256b4
View on Github →feat: more results on additive principal ordinals (#36797) We prove some new results on additive principal ordinals, and use them to golf existing results. Moved from #15989.
feat: more results on additive principal ordinals (#36797) We prove some new results on additive principal ordinals, and use them to golf existing results. Moved from #15989.