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

At: sq stable is member

T:Type, eq:(TT), x:T, L:T List. SqStable(x(eq) L)
By: UnivCD
Generated subgoal:

11. T: Type
2. eq: TT
3. x: T
4. L: T List
SqStable(x(eq) L)

About:
listboolassertfunctionuniverseall

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