PrintForm Definitions graph 1 1 Sections Graphs Doc

At: sum le
k:, f,g:(k). (x:k. f(x)g(x)) sum(f(x) | x < k)sum(g(x) | x < k)
By: SumInd
Generated subgoals:

None

About:
intnatural_numberfunctionimpliesall

PrintForm Definitions graph 1 1 Sections Graphs Doc