PrintForm Definitions formula list Sections ClassicalProps(jlc) Doc

At: list rank wf 1

(Formula List)
By:
Unfold `list_rank` 0
THEN
MemberEqCD
Generated subgoal:

11. L: Formula List
reduce(x,y. (x)+y;0;L)

About:
memberfunctionlistlambdaaddapplynatural_number