Theoremintro
Fundamental theorem of algebra
Also called d'Alembert-Gauss theorem, existence of complex roots.
Every nonconstant complex polynomial of degree n has exactly n roots counted with multiplicity.
Every nonconstant complex polynomial of degree n has exactly n roots counted with multiplicity.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag MMBZW0 Edit this page History Report an error