Description: Closure of the square root function over the complex numbers. (Contributed by Mario Carneiro, 10-Jul-2013)
Ref | Expression | ||
---|---|---|---|
Assertion | sqrtcl | |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | sqrtval | |
|
2 | sqreu | |
|
3 | riotacl | |
|
4 | 2 3 | syl | |
5 | 1 4 | eqeltrd | |