(13steps 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:
before-upto
2
2
1.
n
:
2.
x
:
n
3.
y
:
n
4.
x
<
y
5.
f
:
2
n
6.
j
:
2
f
(
j
)<||upto(
n
)||
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
(13steps total)
PrintForm
Definitions
Lemmas
mb
event
system
1
Sections
EventSystems
Doc
f(j)<||upto(n)||
n:
