(44steps) PrintForm Definitions Lemmas list 3 jlc Sections Support(jlc) Doc

At: discrete list 1 1 1 1 1
1. T: Type
2. Discrete{T}
3. x: T List
4. y: T List

nil = nil T List nil = nil T List
By: DNth 1 0
Generated subgoals:

None

About:
listniluniverseequalor

(44steps) PrintForm Definitions Lemmas list 3 jlc Sections Support(jlc) Doc