mathlib3
feat(analysis/complex/exponential): limits of exp
#1744
Merged
Overview
Commits
10
Changes
View On GitHub

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

mergify merged 10 commits into leanprover-community:master from sgouezel:exp_limit
sgouezel
sgouezel staging
bdc72637
sgouezel exp div pow
537b0a26
sgouezel cleanup
cba96bd2
sgouezel oops
2092e848
sgouezel better proof
b2c79f2c
sgouezel cleanup
35479ac9
sgouezel docstring
d7e99120
sgouezel sgouezel added awaiting-review
jcommelin
jcommelin commented on 2019-11-26
sgouezel merge master
0a258a51
sgouezel merge master
a172d695
sgouezel typo in docstring
82826f78
robertylewis
robertylewis approved these changes on 2019-11-30
robertylewis robertylewis removed awaiting-review
robertylewis robertylewis added ready-to-merge
mergify mergify merged 343c54d6 into master 6 years ago
sgouezel sgouezel deleted the exp_limit branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum