Commit 2020-10-05 01:18 fc09dbae
View on Github →feat(analysis/special_functions/pow): exp_mul (#4409)
Add the lemma that exp (x * y) = (exp x) ^ y, for real x and y.
feat(analysis/special_functions/pow): exp_mul (#4409)
Add the lemma that exp (x * y) = (exp x) ^ y, for real x and y.