Metamath Proof Explorer


Syntax definition csqrt

Description: Extend class notation to include square root of a complex number.

Ref Expression
Assertion csqrt
class sqrt