feat(set_theory/game/impartial): Relabelling of impartial game is impartial (#13843)
feat(set_theory/game/impartial): Relabelling of impartial game is impartial (#13843)






leanprover-community/mathlib,leanprover-community/mathlib