mathlib3

ccdcce13 - chore(set_theory/game/nim): General golfing (#12471)

chore(set_theory/game/nim): General golfing (#12471) We make use of various relatively new theorems on ordinals to simplify various proofs, or otherwise clean up the file.