Theorem SetTheory.PGame.isOption_neg_neg

Modification history