MDLD/exponential function to base
Appearance
< MDLD
Start=exponential function to base Target=Real exponential function/Base/Via logarithm/Definition
Start=exponential function to base Target=Real exponential function/Base/Via logarithm/Definition