mathlib3
feat(analysis/complex/polynomial): fundamental theorem of algebra
#851
Merged
Overview
Commits
22
Changes
View On GitHub

feat(analysis/complex/polynomial): fundamental theorem of algebra #851

mergify merged 22 commits into master from FTA
ChrisHughes24
ChrisHughes24 feat(data/complex/polynomia): fundamental theorem of algebra
3c3f5833
ChrisHughes24 fix build
ff1ab429
PatrickMassot
cipher1024 cipher1024 assigned rwbarton rwbarton 7 years ago
ChrisHughes24 add docstring
19903191
ChrisHughes24
ChrisHughes24 Merge remote-tracking branch 'comm/master' into FTA1
eb1d2608
PatrickMassot
ChrisHughes24 add comment giving link to proof used.
046847af
ChrisHughes24 spag
c5ee337c
jcommelin
jcommelin commented on 2019-03-27
ChrisHughes24
jcommelin
ChrisHughes24 Merge branch 'master' of https://github.com/leanprover-community/math…
6ecfb405
ChrisHughes24 Merge branch 'master' into FTA
14890159
sgouezel
ChrisHughes24 move to analysis/complex
d8812c85
ChrisHughes24 Merge branch 'FTA' of https://github.com/leanprover-community/mathlib…
28f6a693
ChrisHughes24 Merge branch 'master' of https://github.com/leanprover-community/math…
5751daaf
ChrisHughes24
ChrisHughes24 Merge branch 'master' of https://github.com/leanprover-community/math…
37b43ebb
ChrisHughes24 Merge branch 'master' of https://github.com/leanprover-community/math…
bc9bb2e4
ChrisHughes24 Merge branch 'master' of https://github.com/leanprover-community/math…
9303de59
ChrisHughes24 fix data/real/pi
9f20aef6
ChrisHughes24 Merge branch 'master' into FTA
234163f7
rwbarton
rwbarton dismissed these changes on 2019-04-05
rwbarton Update src/analysis/complex/polynomial.lean
5ce981db
ChrisHughes24 ChrisHughes24 requested a review 7 years ago
mergify mergify dismissed their stale review 7 years ago
Pull request has been modified.
ChrisHughes24 make Reid's suggested changes
6fa9a2f4
ChrisHughes24 make Reid's suggested changes
bfe89557
ChrisHughes24 Merge branch 'FTA' of https://github.com/leanprover-community/mathlib…
e2d48e9e
ChrisHughes24 Merge remote-tracking branch 'comm/master' into FTA1
b8975e62
ChrisHughes24 ChrisHughes24 changed the title feat(data/complex/polynomial): fundamental theorem of algebra feat(analysis/complex/polynomial): fundamental theorem of algebra 7 years ago
rwbarton
rwbarton dismissed these changes on 2019-04-08
rwbarton rwbarton added ready-to-merge
cipher1024 Merge branch 'master' into FTA
99122187
mergify mergify dismissed their stale review 7 years ago
Pull request has been modified.
cipher1024
cipher1024 approved these changes on 2019-04-08
cipher1024 cipher1024 removed ready-to-merge
cipher1024 cipher1024 added ready-to-merge
mergify mergify merged 10490ea7 into master 7 years ago
mergify mergify deleted the FTA branch 7 years ago

Login to write a write a comment.

Login via GitHub

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