(7steps total)
Gloss
PrintForm
Definitions
NumThyExamples
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
stamps
sfa
2
1.
i
:
2. 8<
i
3.
m
,
n
:
. 3
m
+5
n
=
i
-1
m
,
n
:
. 3
m
+5
n
=
i
By:
ExistHD Hyp:-1
Generated subgoal:
1
3.
m
:
4.
n
:
5. 3
m
+5
n
=
i
-1
m
,
n
:
. 3
m
+5
n
=
i
4
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(7steps total)
Gloss
PrintForm
Definitions
NumThyExamples
Sections
NuprlLIB
Doc
m,n:
. 3
m+5n = i-1
m,n:. 3m+5n = i
m,n:. 3m+5n = i-1
m,n:. 3m+5n = i
m+5n = i-1
m,n:. 3m+5n = i
