Metamath Proof Explorer

Table of Contents - 21.35.24. Logarithm laws generalized to an arbitrary base

Section should be obsolete because its contents are covered by section "Logarithms to an arbitrary base" now.

1. reglogcl
2. reglogltb
3. reglogleb
4. reglogmul
5. reglogexp
6. reglogbas
7. reglog1
8. reglogexpbas