Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pgame.numeric_omega

Modification history

2022-05-06 15:42
src/set_theory/surreal/basic.lean
refactor(set_theory/game/pgame): Remove `pgame.omega` (#13960) …
Deleted pgame.numeric_omegaView on Github →
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_omegaView on Github →