Theorem PGame.zero_le_of_isEmpty_rightMoves

Modification history