PrintForm
Definitions
core
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
singleton
properties
T
:Type,
a
:
T
,
x
:{
a
:
T
}.
x
=
a
T
By:
ProvePropertiesLemma
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
core
StandardLIB
Doc
T:Type, a:T, x:{a:T}. x = a 
T
