PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
At:
sum
arith1
n:
, a,b:
. sum(a+b
i | i < n)
2 = n
(a+a+b
(n-1))
By:
SumInd
Generated subgoals:
None
About:
PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
n:
, a,b:
. sum(a+b
i | i < n)2 = n(a+a+b(n-1))