Theorem SetTheory.PGame.relabel_moveRight

Modification history