mathlib

5c1ee352 - feat(set_theory/game/pgame): `x - 0 = x + 0` (#13731)