Theorem SetTheory.PGame.rightMoves_nim

Modification history