mathlib3

feat(set_theory/game/ordinal): API for casting ordinals into games

#18703

Open