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

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

true = false
By:
ApFunToHypEquands `x' (Case of x; nil 0 ; h.t 1) -1
THEN
AbReduce -1
Generated subgoals:

None

About:
listconsnillist_ind
boolbfalsebtrueintnatural_numberuniverseequal

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