Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pgame.omega_left_wins

Modification history

2022-05-06 15:42
src/set_theory/game/winner.lean
refactor(set_theory/game/pgame): Remove `pgame.omega` (#13960) …
Deleted pgame.omega_left_winsView on Github →
2020-08-22 10:07
src/set_theory/game/winner.lean
feat(set_theory/game): impartial games and the Sprague-Grundy theorem (#3855)
Added pgame.omega_left_winsView on Github →