PrintForm Definitions formula list Sections ClassicalProps(jlc) Doc

At: list rank wf 2 2
1. x: Formula List
2. u: Formula
3. v: Formula List
4. (v)

(u.v)
By: AbReduce 0
Generated subgoal:

1 (u)+(v)

About:
memberapplyconslistadd