Nuprl - Pf is member wf nil

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

At: is member wf nil

T:Type, eq:(TT), u:T. u(eq) nil

By: UnivCD

Generated subgoal:

1 1. T: Type
2. eq: TT
3. u: T
u(eq) nil

About:

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