mathlib

b134b2f5 - refactor(set_theory/game/state): rename `pgame.of` to `pgame.of_state` (#14658)

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.