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

At: null false lemma

T:Type, L:T List. null(L) = false (h:T, t:T List. L = h.t)
By: UnivCD
Generated subgoal:

11. T: Type
2. L: T List
null(L) = false (h:T, t:T List. L = h.t)

About:
listconsboolbfalseuniverseequalallexists

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