Theorem PGame.nim_grundyValue

Modification history