Assertion: square's number | /r/HasProperty | principal square root of z
Facets:
Source sentences:
text: For every non-zero complex number z there exist precisely two numbers w such that w2 = z: the principal square root of z (defined below), and its negative.