mathlib

26b2d727 - feat(set_theory/game/pgame): Empty instances (#13635)