Metamath Proof Explorer

Table of Contents - 11.3.2. Polynomial evaluation

1. ces
2. cevl
3. df-evls
4. df-evl
5. evlslem4
6. psrbagev1
7. psrbagev2
8. evlslem2
9. evlslem3
10. evlslem6
11. evlslem1
12. evlseu
13. reldmevls
14. mpfrcl
15. evlsval
16. evlsval2
17. evlsrhm
18. evlsval3
19. evlsvval
20. evlsvvvallem
21. evlsvvvallem2
22. evlsvvval
23. evlssca
24. evlsvar
25. evlsgsumadd
26. evlsgsummul
27. evlspw
28. evlsvarpw
29. evlval
30. evlrhm
31. evlcl
32. evladdval
33. evlmulval
34. evlsscasrng
35. evlsca
36. evlsvarsrng
37. evlvar
38. mpfconst
39. mpfproj
40. mpfsubrg
41. mpff
42. mpfaddcl
43. mpfmulcl
44. mpfind