mathlib3

refactor(set_theory/game/*): remove `relabelling`

#18518

Open