Who Cites rc loop sqrt sqr?
rc_loop_sqrt_sqr	Def (a)sqr == aa
	Thm* a:. (a)sqr

Syntax:

(a)sqr

has structure:

rc_loop_sqrt_sqr(a)

About: