Metamath Proof Explorer

Table of Contents - 21.50.8. Logarithms generalized to arbitrary base using ` logb `

Most of this subsection was moved to main set.mm, section "Logarithms to an arbitrary base".

1. logb2aval