Theorem SetTheory.PGame.ofLists_moveLeft'

Modification history