Metamath Proof Explorer
Table of Contents - 11.3.2. Polynomial evaluation
- ces
- cevl
- df-evls
- df-evl
- evlslem4
- psrbagev1
- psrbagev1OLD
- psrbagev2
- psrbagev2OLD
- evlslem2
- evlslem3
- evlslem6
- evlslem1
- evlseu
- reldmevls
- mpfrcl
- evlsval
- evlsval2
- evlsrhm
- evlssca
- evlsvar
- evlsgsumadd
- evlsgsummul
- evlspw
- evlsvarpw
- evlval
- evlrhm
- evlsscasrng
- evlsca
- evlsvarsrng
- evlvar
- mpfconst
- mpfproj
- mpfsubrg
- mpff
- mpfaddcl
- mpfmulcl
- mpfind