Metamath Proof Explorer


Syntax definition cexp

Description: Extend class notation to include exponentiation of a complex number to an integer power.

Ref Expression
Assertion cexp class ^