Processing math: 100%
Finite sum of complex numbers
Set
context
(
z
i
)
∈
F
i
n
S
e
q
u
e
n
c
e
(
C
)
context
n
=
l
e
n
g
t
h
(
(
z
i
)
)
definiendum
∑
:
F
i
n
S
e
q
u
e
n
c
e
(
C
)
→
C
definiendum
∑
n
i
=
1
z
i
:=
{
0
i
f
n
=
0
(
∑
n
−
1
i
=
1
z
i
)
+
z
n
e
l
s
e
Theorem
∑
n
k
=
1
z
k
=
1
1
−
z
(
1
−
z
n
+
1
)
Subset of
Finite sum over a monoid