Mathlib v3 is deprecated. Go to Mathlib v4

Def game.ordered_comm_group_game

Modification history

2020-04-11 04:27

src/set_theory/game.lean

chore(*): switch to lean 3.8.0 (#2361) …

Deleted game.ordered_comm_group_game View on Github →

2019-09-17 18:02

src/set_theory/game.lean

feat(set_theory/game): the theory of combinatorial games (#1274) …

Added game.ordered_comm_group_game View on Github →