Theorem PGame.ofLists_moveLeft'

Modification history