Theorem SetTheory.PGame.ofLists_moveRight

Modification history