Theorem PGame.equiv_nim_grundyValue

Modification history