VDict mobile



irrational not found. Suggestions:

irrational number
irrational number
rational
constructive
real number
Axiom of Choice