chore(set_theory/game/nim): reorder lemmas (#15516)
We move the most basic API for `nim` to the beginning of the file. This was causing trouble in another PR, where I wanted to prove basic properties of `nim 1` alongside those of `nim 0` but couldn't because of this missing API.
