Nuprl - Pf rc loop sqrt sqr wf

(2steps) PrintForm Definitions Lemmas SquareRootLoop Sections NuprlLIB Doc

At: rc loop sqrt sqr wf

a:. (a)sqr

By: Def of ( < nat > )sqr

Generated subgoal:

1 1. a:
aa

About:

(2steps) PrintForm Definitions Lemmas SquareRootLoop Sections NuprlLIB Doc