About: http://webisa.webdatacommons.org/435998445

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	The function from the roots to the coefficients as a map $\mathbb{C}^n\mapsto\mathbb{C}^n$ is definitely injective since the roots are a function of the coefficients. (In other words, I agree with you, but this seems simpler to me.)
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com