ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3497 on D865: Standard natural real logarithm function
Countably infinite version for homomorphism property of logarithm
Also known as
Logarithm of convergent infininite product is infinite sum of logarithms