Database
REAL AND COMPLEX NUMBERS
Elementary real and complex functions
Square root; absolute value
csqrt
Next ⟩
cabs
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csqrt
Description:
Extend class notation to include square root of a complex number.
Ref
Expression
Assertion
csqrt
class
√