Theorem PGame.turnBound_of_right

Modification history