(4steps total) Gloss PrintForm NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc type poly ap doppelganger
  T:Type, f:(D:Type. DT). f(f)  T
By: Auto

Generated subgoal:

1 1. T : Type
2. f : D:Type. DT
  f(f)  T
3 steps

About:
isectfunctionuniversememberall
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(4steps total) Gloss PrintForm NuprlPrimitives Sections NuprlLIB Doc