Theorem SetTheory.PGame.add_moveLeft_inr

Modification history