Theorem SetTheory.PGame.mul_moveLeft_inr

Modification history