(7steps total)
PrintForm
Definitions
Lemmas
mb
event
system
1
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
firstn
upto
1
2
1
1.
n
:
2.
m
:
3.
n
m
n
(||upto(
n
)||+1)
By:
RWO
Thm*
n
:
. ||upto(
n
)|| ~
n
0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(7steps total)
PrintForm
Definitions
Lemmas
mb
event
system
1
Sections
EventSystems
Doc