mathlib

06f7d3f0 - feat(src/set_theory/surreal): add numeric_add and numeric_omega lemmas (#7179)

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](https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Surreal.20numbers/near/234243582)