mathlib

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

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