surreals are bounded (#15260)

Commit

2 years ago

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

Author

vihdzp

Parents