(6steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
At:
null
true
lemma
T:Type, L:T List. null(L) = true
L = nil
By:
UnivCD
Generated subgoal:
1
1.
T:
Type
2.
L:
T List
null(L) = true
L = nil
About:
(6steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
null(L) = true
L = nil
T:Type, L:T List. null(L) = true L = nil
null(L) = true L = nil
