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

At: decidable equal list 1
1. T: Type
2. Discrete{T}

Discrete{(T List)}
By: BackThru Thm* Discrete{T} Discrete{(T List)}
Generated subgoals:

None

About:
listuniverse

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