Metamath Proof Explorer


Syntax definition clog

Description: Extend class notation with the natural logarithm function on complex numbers.

Ref Expression
Assertion clog class log