§ Group structure of nim games (WIP)

§ Mex