Description: Value of the polynomial evaluation map function. (Contributed by Stefan O'Rear, 11-Mar-2015) (Revised by AV, 18-Sep-2021)
Ref | Expression | ||
---|---|---|---|
Hypotheses | evlsval.q | |
|
evlsval.w | |
||
evlsval.v | |
||
evlsval.u | |
||
evlsval.t | |
||
evlsval.b | |
||
evlsval.a | |
||
evlsval.x | |
||
evlsval.y | |
||
Assertion | evlsval | |