Talk:Primitive of Exponential of a x

It is probably a better approach to establish the complex derivative of the complex exponential function and then reference it here, rather than prove it here as a part of the primitive. It is an important enough result in its own right. --prime mover (talk) 08:00, 30 October 2016 (EDT)

I did not take this approach because the integral of a constant multiple of a complex function is not a theorem yet. --kc_kennylau (talk) 08:41, 30 October 2016 (EDT)

In which case start by proving that more basic result first. Seriously, it makes more sense to start at the bottom with the basic (boring) results, and use them as building blocks to prove the more advanced (interesting) results. --prime mover (talk) 10:38, 30 October 2016 (EDT)