Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update hensel.lean #20

Closed
wants to merge 46 commits into from
Closed

Update hensel.lean #20

wants to merge 46 commits into from

Conversation

ChrisHughes24
Copy link
Owner

TO CONTRIBUTORS:

Make sure you have:

  • reviewed and applied the coding style: coding, naming
  • for tactics:
  • make sure definitions and lemmas are put in the right files
  • make sure definitions and lemmas are not redundant

If this PR is related to a discussion on Zulip, please include a link in the discussion.

For reviewers: code review check list

ChrisHughes24 and others added 30 commits March 26, 2019 17:10
@ChrisHughes24
feat(data/complex/polynomia): fundamental theorem of algebra
3c3f583
@ChrisHughes24
fix build
ff1ab42
@ChrisHughes24
add docstring
1990319
@ChrisHughes24
Merge remote-tracking branch 'comm/master' into FTA1
eb1d260
@ChrisHughes24
add comment giving link to proof used.
046847a
@ChrisHughes24
spag
c5ee337
@ChrisHughes24
Merge branch 'master' of https://github.com/leanprover-community/mathlib
6ecfb40 
 into FTA1
@ChrisHughes24
Merge branch 'master' into FTA
1489015
@ChrisHughes24
move to analysis/complex
d8812c8
@ChrisHughes24
Merge branch 'FTA' of https://github.com/leanprover-community/mathlib …
28f6a69 
…into FTA1
@ChrisHughes24
Merge branch 'master' of https://github.com/leanprover-community/mathlib
5751daa 
 into FTA1
@ChrisHughes24
Merge branch 'master' of https://github.com/leanprover-community/mathlib
37b43eb 
 into FTA1
@ChrisHughes24
Merge branch 'master' of https://github.com/leanprover-community/mathlib
bc9bb2e 
 into FTA1
@ChrisHughes24
Merge branch 'master' of https://github.com/leanprover-community/mathlib
9303de5 
 into FTA1
@ChrisHughes24
fix data/real/pi
9f20aef
@ChrisHughes24
Merge pull request #10 from leanprover-community/master
9581ffb 
Merge
@ChrisHughes24
add .mergify.yml
160975e
@ChrisHughes24
Merge remote-tracking branch 'origin/master' into FTA_test
1925b52
@ChrisHughes24
change .mergify.yml use strict workflow
84a7b3e
@ChrisHughes24
Merge branch 'master' of https://github.com/chrishughes24/mathlib int…
90eaa0d 
…o FTA_test
@ChrisHughes24
Merge pull request #11 from ChrisHughes24/FTA_test
db4408f 
Fta test
@ChrisHughes24
Revert "Fta test"
a4e6822
@ChrisHughes24
update .mergify.yml
7c1c619
@ChrisHughes24
Merge pull request #12 from ChrisHughes24/revert-11-FTA_test
7a7a90b 
Revert "Fta test"
@ChrisHughes24
change mergify
23d39b2
@ChrisHughes24
Merge branch 'master' of https://github.com/chrishughes24/mathlib int…
3e21b01 
…o HEAD
@ChrisHughes24
mergify
fd3e494
@ChrisHughes24
mergify
03edd22
@ChrisHughes24
mergify
616bb46
@ChrisHughes24
Get rid of travis notifications
8bb060c
@ChrisHughes24 ChrisHughes24 added question Further information is requested ready-to-merge labels Apr 1, 2019
@ChrisHughes24 ChrisHughes24 reopened this Apr 1, 2019
@ChrisHughes24 ChrisHughes24 reopened this Apr 1, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
question Further information is requested ready-to-merge
Projects
None yet
Milestone
No milestone
1 participant
@ChrisHughes24