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

At: discrete list

T:Type. Discrete{T} Discrete{(T List)}
By: UnivCD
Generated subgoal:

11. T: Type
2. Discrete{T}
Discrete{(T List)}

About:
listuniverseimpliesall

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