Theorem SetTheory.PGame.relabel_moveLeft

Modification history