(6steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
At:
null
true
lemma
1
2
1.
T:
Type
2.
L:
T List
3.
u:
T
4.
v:
T List
false
= true
u.v = nil
By:
Auto
Generated subgoals:
1
5.
false
= true
u.v = nil
2
5.
u.v = nil
false
= true
About:
(6steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
= true
u.v = nil false = true
false = true 
u.v = nil
= true u.v = nil false = true
