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

At: list all is member nil lemma 1 1
1. T: Type
2. eq: TT
3. L: T List
4. u: T
5. v: T List
6. u(eq) nil & xv.x(eq) nil

nil = u.v
By: Reduce -1
Generated subgoals:

None

About:
listconsnilboolassertfunctionuniverseequaland

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