Theorem PGame.neg_mk_mul_moveLeft_inl

Modification history