MDLD/exponential function (base)

Start=exponential function (base) Target=Real exponential function/Base/Via logarithm/Definition