(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
i
:{8...}.
m
,
n
:
. 3
m
+5
n
=
i
By:
NSubsetInd Concl
Generated subgoals:
1
1.
i
:
2. 0<
i
3. 8 =
i
m
,
n
:
. 3
m
+5
n
=
i
1
step
2
1.
i
:
2. 8<
i
3.
m
,
n
:
. 3
m
+5
n
=
i
-1
m
,
n
:
. 3
m
+5
n
=
i
5
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
i:{8...}. 
m,n:
. 3
m+5n = i i:{8...}. m,n:. 3m+5n = i
m,n:. 3m+5n = i
m,n:. 3m+5n = i-1
m,n:. 3m+5n = i
