Theorem SetTheory.PGame.mulOption_neg_neg

Modification history