(19steps total)
PrintForm
Definitions
mb
event
system
1
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
mu-property
1
4
2
1
1.
b
:
2. 0<
b
3.
f
:(
). (
n
:
.
n
b
-1 &
f
(
n
))
f
(mu(
f
)) & (
i
:
.
i
<mu(
f
)
f
(
i
))
4.
f
:
5.
n
:
6.
n
b
7.
f
(
n
)
8.
f
(0)
9.
n
= 0
n
:
.
n
b
-1 &
f
(
n
+1)
By:
InstConcl [
n
-1]
Generated subgoal:
1
f
(
n
-1+1)
1
step
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(19steps total)
PrintForm
Definitions
mb
event
system
1
Sections
EventSystems
Doc