WhoCites Definitions StandardLib Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites uni sat?
uni_satDef a = !x:TQ(x) == Q(a) & (a':TQ(a' a' = a)
Thm* T:Type, a:TQ:(TProp). (a = !x:TQ(x))  Prop

Syntax:a = !x:TQ(x) has structure: uni_sat(Tax.Q(x))

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

WhoCites Definitions StandardLib Sections NuprlLIB Doc