No mentions to report in SquareRootLoop
rc_loop_sqrt_eqeq	Def a = b = c == a = b A & c = b A
	Thm* a,b,c:A. (a = b = c) Prop

Syntax:

a = b = c

has structure:

rc_loop_sqrt_eqeq(A; a; b; c)

About: