clog - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > clog		Structured version Visualization version Unicode version

Syntax Definition clog 24301

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

**Assertion**
Ref	Expression
clog

See definition df-log 24303 for more information.

Colors of variables: wff setvar class