Theorem PGame.toRightMovesNim_one_symm

Modification history