Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-15 00:05 b134b2f5

View on Github →

refactor(set_theory/game/state): rename pgame.of to pgame.of_state (#14658) This is so that we can redefine pgame.of x y = {x | y} in #14659. Further, this is just a much clearer name.

Estimated changes

modified def pgame.domineering
deleted def game.of
added def game.of_state
deleted def pgame.left_moves_of
deleted def pgame.of
deleted def pgame.of_aux
added def pgame.of_state