Database
BASIC REAL AND COMPLEX FUNCTIONS
Basic trigonometry
Logarithms to an arbitrary base
clogb
Next ⟩
df-logb
Metamath Proof Explorer
Ascii
Structured
Syntax definition
clogb
Description:
Extend class notation to include the logarithm generalized to an arbitrary base.
Ref
Expression
Assertion
clogb
class
log
b