Database
BASIC REAL AND COMPLEX FUNCTIONS
Basic trigonometry
The natural logarithm on complex numbers
ccxp
Next ⟩
df-log
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccxp
Description:
Extend class notation with the complex power function.
Ref
Expression
Assertion
ccxp
class ^c