mathlib3

34b1cfd8 - feat(set_theory/game/pgame): Strengthen `move_{left/right}_mk` (#13646)