Theorem SetTheory.PGame.neg_nim

Modification history