Theorem SetTheory.PGame.mk_mul_moveLeft_inl

Modification history