Assertion: real number's root | /r/HasProperty | forced
Facets:
value: equivalently
type: DEGREE
Source sentences:
text: If all roots of f above are real (respectively, complex) or, equivalently, any possible embedding F ⊂ C is actually forced to be inside R (resp.