Metadata
aliases: []
shorthands: {}
created: 2021-10-20 15:44:51
modified: 2022-01-10 04:13:04
Statement: Every non-constant single-variable polynomial with complex coefficients has at least one complex root.