mathlib3

feat(set_theory/game/basic): Golf using `antisymmetrization` API

#13917

Open