Theorem PGame.neg_nim

Modification history