Theorem SetTheory.PGame.isOption_neg

Modification history