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

At: decidable is member 1
1. T: Type
2. eq: TT
3. x: T
4. L: T List

Dec(x(eq) L)
By: ProveDecidable
Generated subgoals:

None

About:
listboolassertdecidablefunctionuniverse

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