Fundamental theorem of Algebra (by Argand and d'Alembert)

Stream: Proofs from the book

[Julien Michel]

Hi! Today, I formalized Argand's and d'Alembert's proof of the fundamental theorem of Algebra from chapter 21 here. #106
Any comments welcome!

[Moritz Firsching]

fantastic, we should really get on merging the bump, so that the diffs get smaller here:
I'm not quite sure what is wrong, I haven't seen the error here before

https://github.com/mo271/FormalBook/actions/runs/20525032617/job/59011308724?pr=104

I will try using a more recent version of the leanprover-community/docgen-action and see if this fixes it...