Theorem PGame.isOption_neg_neg

Modification history