ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4856 on D866: Standard real logarithm function
Subresult of R4831: Homomorphism property of standard logarithm function

Standard logarithm of a positive real number raised to a power

Subresults

▶	R4857: Standard logarithm of a positive real number raised to an integer power