Theorem PGame.Subsequent.moveRight

Modification history