Commit 2019-04-08 05:21 10490ea7
View on Github →feat(analysis/complex/polynomial): fundamental theorem of algebra (#851)
- feat(data/complex/polynomia): fundamental theorem of algebra
- fix build
- add docstring
- add comment giving link to proof used.
- spag
- move to analysis/complex
- fix data/real/pi
- Update src/analysis/complex/polynomial.lean Co-Authored-By: ChrisHughes24 33847686+ChrisHughes24@users.noreply.github.com
- make Reid's suggested changes
- make Reid's suggested changes