Theorem SetTheory.PGame.relabel_moveRight'

Modification history