Commit 2021-04-13 19:58 06f7d3f0
View on Github →feat(src/set_theory/surreal): add numeric_add and numeric_omega lemmas (#7179) Adds a couple of lemmas about surreal numbers: proving that natural numbers and omega are numeric. Zulip
feat(src/set_theory/surreal): add numeric_add and numeric_omega lemmas (#7179) Adds a couple of lemmas about surreal numbers: proving that natural numbers and omega are numeric. Zulip