Theorem SetTheory.PGame.relabel_moveLeft'

Modification history