Theorem SetTheory.PGame.grundyValue_neg

Modification history