feat(set_theory/game/basic): cast inequalities on `pgame` to `game` (#14405)
feat(set_theory/game/basic): cast inequalities on `pgame` to `game` (#14405)






leanprover-community/mathlib,leanprover-community/mathlib