PrintForm Definitions formula list Sections ClassicalProps(jlc) Doc

At: list rank wf 1 1 1
1. L: Formula List

reduce(x,y. (x)+y;0;nil)
By: Reduce 0
Generated subgoals:

None

About:
memberlambdaaddapplynatural_numbernillist