Phyrion1343/1Y-Well-Ordering-Lean
2 best points · 1 comments · 1 Hacker News post · 6 GitHub stars · View on GitHub
Hacker News discussions
- Proof of Well-ordering of Y sequence (2 points, 1 comments, by nkochavi, 2026-09-12)
2 best points · 1 comments · 1 Hacker News post · 6 GitHub stars · View on GitHub