Metamath Proof Explorer


Syntax definition ccxp

Description: Extend class notation with the complex power function.

Ref Expression
Assertion ccxp class c