Nuprl - Pf sq stable is member 1 1

1. T: Type
2. eq: TT
3. x: T
4. L: T List

SqStable(x(eq) nil)

By: Rewrite (HigherC is_member_unrollC THENC HigherC assert_evalC) 0

Generated subgoal:

1 SqStable(False)

About: