Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pgame.numeric_nat

Modification history

2021-04-13 19:58
src/set_theory/surreal.lean
feat(src/set_theory/surreal): add numeric_add and numeric_omega lemmas (#7179) …
Added pgame.numeric_natView on Github →