Theorem PGame.default_nim_one_leftMoves_eq

Modification history