PrintForm
Definitions
SquareRootLoop
Sections
NuprlLIB
Doc
At:
rc
loop
sqrt
lelt
wf
a,b,c:
. a
b < c
Prop
By:
Def of <
>
<
> < <
>
Generated subgoals:
None
About:
PrintForm
Definitions
SquareRootLoop
Sections
NuprlLIB
Doc
a,b,c:
. a 
b < c 
Prop
> < > < < >