mathlib3

4b92515b - chore(set_theory/game/impartial): golf (#13841)