Theorem PGame.default_nim_one_rightMoves_eq

Modification history