Theorem SetTheory.PGame.nim_grundyValue

Modification history