(2steps total)
PrintForm
Definitions
hol
arithmetic
1
Sections
HOLlib
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
ndiv
wf
1
1.
2.
n
:
3.
n
=
0
0<
n
By:
RW HNC -1
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(2steps total)
PrintForm
Definitions
hol
arithmetic
1
Sections
HOLlib
Doc