Nuprl - Pf is member cons 1

1. T: Type
2. eq: {T}
3. t: T
4. L: T List

if eq(t,t) true else t(eq) L fi

By: IfThenElseCases 0

Generated subgoals:

1 5. eq(t,t) = true
true

2 5. eq(t,t) = false
t(eq) L

About: