Assertion list
real number (primary) → HasProperty

Results from Ascent++: 14
real numberHasProperty irrational 0.84
real numberHasProperty rational 0.76
real numberHasProperty positive 0.70
real numberHasProperty higher 0.66
real numberHasProperty computable 0.55
real numberHasProperty normal 0.55
real numberHasProperty transcendental 0.46
real numberHasProperty zero 0.46
real numberHasProperty uncountable 0.44
real numberHasProperty countable 0.43
real numberHasProperty unknown 0.37
real numberHasProperty closer 0.33
real numberHasProperty infinite 0.25
real numberHasProperty low 0.25