Theorem PGame.leftMoves_add

Modification history