Theorem PGame.ofLists_moveRight'

Modification history