Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for David A. Wheeler
Logarithm laws generalized to an arbitrary base - log_
clog-
Next ⟩
df-logbALT
Metamath Proof Explorer
Ascii
Structured
Syntax definition
clog-
Description:
Extend class notation to include the logarithm generalized to an arbitrary base.
Ref
Expression
Assertion
clog-
class
log_