Theorem SetTheory.PGame.Numeric.isOption

Modification history