Theorem PGame.mk_mul_moveLeft_inr

Modification history