Metamath Proof Explorer

Table of Contents - 21.3.10.47. Univariate Polynomials

1. 0ringmon1p
2. fply1
3. ply1lvec
4. evls1fn
5. evls1dm
6. evls1fvf
7. evl1fvf
8. evl1fpws
9. ressply1evls1
10. ressdeg1
11. ressply10g
12. ressply1mon1p
13. ressply1invg
14. ressply1sub
15. ressasclcl
16. evls1subd
17. deg1le0eq0
18. ply1asclunit
19. ply1unit
20. evl1deg1
21. evl1deg2
22. evl1deg3
23. evls1monply1
24. ply1dg1rt
25. ply1dg1rtn0
26. ply1mulrtss
27. deg1prod
28. ply1dg3rt0irred
29. m1pmeq
30. ply1fermltl
31. coe1mon
32. ply1moneq
33. ply1coedeg
34. coe1zfv
35. coe1vr1
36. deg1vr
37. vr1nz
38. ply1degltel
39. ply1degleel
40. ply1degltlss
41. gsummoncoe1fzo
42. gsummoncoe1fz
43. ply1gsumz
44. deg1addlt
45. ig1pnunit
46. ig1pmindeg