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

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

SqStable(False)
By:
Unfold `sq_stable` 0
THEN
Unfold `squash` 0
Generated subgoal:

15. {:True| False }
False

About:
listboolfunctionuniversefalse

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