Theorem PGame.Subsequent.moveLeft_mk_right

Modification history