Theorem SetTheory.PGame.up_moveRight

Modification history