Property: algebraically closed field

Definition: Every nonconstant polynomial over the field has a root in the field

(No citations retrieved.)

(No metaproperty information retrieved.)