Theorem SetTheory.PGame.mk_add_moveLeft_inr

Modification history