Theorem SetTheory.PGame.leftMoves_nim

Modification history