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