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

At: null false lemma 1 3
1. T: Type
2. L: T List
3. u: T
4. v: T List
5. false = false

h:T, t:T List. u.v = h.t
By:
With u (Analyze 0)
THEN
With v (Analyze 0)
Generated subgoals:

None

About:
listconsboolbfalseuniverseequalexists

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