PrintForm Definitions graph 1 1 Sections Graphs Doc

At: sum bound
k,b:, f:(k). (x:k. f(x)b) sum(f(x) | x < k)bk
By: SumInd
Generated subgoals:

None

About:
intnatural_numbermultiplyfunctionimpliesall

PrintForm Definitions graph 1 1 Sections Graphs Doc