Assertion: cone's side | /r/HasProperty | polynomial
Facets:
value: with values in end e c
type: OTHER
Source sentences:
text: Indeed, the identity above holds when a is replaced by a + tb for t real; and since the left side is then a polynomial with values in End E C vanishing for real t, it vanishes also t complex.