Theorem PGame.mk_add_moveRight_inr

Modification history