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

At: sq stable is member 1 1 1 1
1. T: Type
2. eq: TT
3. x: T
4. L: T List
5. {:True| False }

False
By: Analyze 5
Generated subgoals:

None

About:
listboolsetfunctionuniversefalsetrue

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