Proof of Well-ordering of Y sequence
By nkochavi · 2026-09-12 · 2 points · 1 comments
https://github.com/Phyrion1343/1Y-Well-Ordering-Lean/tree/main
By nkochavi · 2 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews