Theorem SetTheory.PGame.add_moveRight_inr

Modification history