PrintForm Definitions formula list Sections ClassicalProps(jlc) Doc

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

(u)+(v)
By: GenConclOnAps
Generated subgoals:

None

About:
memberaddapplylist