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. evlssca
19. evlsvar
20. evlsgsumadd
21. evlsgsummul
22. evlspw
23. evlsvarpw
24. evlval
25. evlrhm
26. evlsscasrng
27. evlsca
28. evlsvarsrng
29. evlvar
30. mpfconst
31. mpfproj
32. mpfsubrg
33. mpff
34. mpfaddcl
35. mpfmulcl
36. mpfind