Nuprl - Pf rc loop sqrt eqeq wf

PrintForm Definitions SquareRootLoop Sections NuprlLIB Doc

At: rc loop sqrt eqeq wf

A:Type, a,b,c:A. (a = b = c) Prop

By: Def of < * > = < * > = < * > < type >

Generated subgoals:

None

About:

PrintForm Definitions SquareRootLoop Sections NuprlLIB Doc