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

At: list all is member nil lemma 2
1. T: Type
2. eq: TT
3. L: T List

xL.x(eq) nil (nil = L)
By: Analyze 0
Generated subgoal:

14. nil = L
xL.x(eq) nil

About:
listnilboolassertfunctionuniverseequal

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