Theorem SetTheory.PGame.equiv_nim_grundyValue

Modification history