# Commit 2023-07-28 10:11 8900d545

View on Github →feat(set_theory/game/pgame): small sets of pre-games / games / surreals are bounded (#15260)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(set_theory/game/pgame): small sets of pre-games / games / surreals are bounded (#15260)