Metamath Proof Explorer

Table of Contents - 11.3.5. Univariate polynomial evaluation

1. ces1
2. ce1
3. df-evls1
4. df-evl1
5. reldmevls1
6. ply1frcl
7. evls1fval
8. evls1val
9. evls1rhmlem
10. evls1rhm
11. evls1sca
12. evls1gsumadd
13. evls1gsummul
14. evls1pw
15. evls1varpw
16. evl1fval
17. evl1val
18. evl1fval1lem
19. evl1fval1
20. evl1rhm
21. fveval1fvcl
22. evl1sca
23. evl1scad
24. evl1var
25. evl1vard
26. evls1var
27. evls1scasrng
28. evls1varsrng
29. evl1addd
30. evl1subd
31. evl1muld
32. evl1vsd
33. evl1expd
34. pf1const
35. pf1id
36. pf1subrg
37. pf1rcl
38. pf1f
39. mpfpf1
40. pf1mpf
41. pf1addcl
42. pf1mulcl
43. pf1ind
44. evl1gsumdlem
45. evl1gsumd
46. evl1gsumadd
47. evl1gsumaddval
48. evl1gsummul
49. evl1varpw
50. evl1varpwval
51. evl1scvarpw
52. evl1scvarpwval
53. evl1gsummon