(6steps) PrintForm list 3 jlc Sections Support(jlc) Doc

At: null false lemma 1 2
1. T: Type
2. L: T List
3. h:T, t:T List. nil = h.t

true = false
By:
Analyze -1
THEN
Analyze -1
Generated subgoal:

13. h: T
4. t: T List
5. nil = h.t
true = false

About:
listconsnilboolbfalsebtrueuniverseequalexists

(6steps) PrintForm list 3 jlc Sections Support(jlc) Doc