MDLD/exponential function (real base)

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