exponential): limits of exp (#1744)

Commit

6 years ago

feat(analysis/complex/exponential): limits of exp (#1744) * staging * exp div pow * cleanup * oops * better proof * cleanup * docstring * typo in docstring

References

#1744 - feat(analysis/complex/exponential): limits of exp

Author

sgouezel

Committer

mergify[bot]

Parents

e68b2be5

mathlib3 343c54d6 - feat(analysis/complex/exponential): limits of exp (#1744)

mathlib3
343c54d6 - feat(analysis/complex/exponential): limits of exp (#1744)