Theorem PGame.zero_leftMoves

Modification history