Commit 2020-04-30 07:10 b14a26ee

refactor(analysis/complex/exponential): split into three files in special_functions/ (#2565) The file analysis/complex/exponential.lean was growing out of control (2500 lines) and was dealing with complex and real exponentials, trigonometric functions, and power functions. I split it into three files corresponding to these three topics, and put them instead in analysis/special_functions/, as it was not specifically complex. This is purely a refactor, so absolutely no new material nor changed proof. Related Zulip discussion: https://leanprover.zulipchat.com/#narrow/stream/144837-PR-reviews/topic/.232565.20exponential.20split