mathlib

6729cca2 - feat(set_theory/game/pgame): simp + private (#13596)