Theorem SetTheory.PGame.neg_mk_mul_moveRight_inr

Modification history