Library
▹
Essentials
▹
Numbers
▹
Complex numbers
ℂ
i
+
+ is associative
+ is commutative
−
a
−
⋅
⋅ is associative
⋅ is commutative
(
r
+
i
i
) =
r
+
i
⋅
i
if
r
,
i
∈ ℝ
Subsets
∕
Iterated operators