(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:

11. T: Type
2. L: T List
null(L) = true L = nil

About:
listnilboolbtrueuniverseequalall

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