Library
▹
Essentials
▹
Numbers
▹
Real numbers
ℝ
+
−
a
−
≤
<
Subsets
⋅
∕
a
n
a
b
(
a
⋅
b
)
n
=
a
n
⋅
b
n
if
a
,
b
∈ ℝ,
n
∈ ℕ
(
b
∕
a
)
n
=
b
n
∕
a
n
if
b
∈ ℝ,
a
∈ ℝ
±
,
n
∈ ℕ
+
n
√
a
√
a
rational/irrational
Iterated operators
n
√
p
is irrational
if
p
is a prime,
n
∈ ℕ
>
1
√
2
is irrational