mathlib

5cd6199b - Fix style in set_theory/pgame