Metamath Proof Explorer


Syntax definition clog-

Description: Extend class notation to include the logarithm generalized to an arbitrary base.

Ref Expression
Assertion clog- class log_