(2steps) PrintForm Definitions list 3 jlc Sections Support(jlc) Doc

At: list exists 2 wf 1
1. T: Type
2. P: T
3. L: T List

xL.P(x)
By:
ListInd 3
THEN
Reduce 0
Generated subgoals:

None

About:
listboolfunctionuniversemember

(2steps) PrintForm Definitions list 3 jlc Sections Support(jlc) Doc