PrintForm Definitions formula list Sections ClassicalProps(jlc) Doc

At: list rank wf 2
1. x: Formula List

(x)
By: ListInd 1
Generated subgoals:

1 (nil)
22. u: Formula
3. v: Formula List
4. (v)
(u.v)

About:
memberapplylistnilcons