Metamath Proof Explorer

Table of Contents - 14.1.1. Polynomial degrees

1. cmdg
2. cdg1
3. df-mdeg
4. df-deg1
5. reldmmdeg
6. tdeglem1
7. tdeglem1OLD
8. tdeglem3
9. tdeglem3OLD
10. tdeglem4
11. tdeglem4OLD
12. tdeglem2
13. mdegfval
14. mdegval
15. mdegleb
16. mdeglt
17. mdegldg
18. mdegxrcl
19. mdegxrf
20. mdegcl
21. mdeg0
22. mdegnn0cl
23. degltlem1
24. degltp1le
25. mdegaddle
26. mdegvscale
27. mdegvsca
28. mdegle0
29. mdegmullem
30. mdegmulle2
31. deg1fval
32. deg1xrf
33. deg1xrcl
34. deg1cl
35. mdegpropd
36. deg1fvi
37. deg1propd
38. deg1z
39. deg1nn0cl
40. deg1n0ima
41. deg1nn0clb
42. deg1lt0
43. deg1ldg
44. deg1ldgn
45. deg1ldgdomn
46. deg1leb
47. deg1val
48. deg1lt
49. deg1ge
50. coe1mul3
51. coe1mul4
52. deg1addle
53. deg1addle2
54. deg1add
55. deg1vscale
56. deg1vsca
57. deg1invg
58. deg1suble
59. deg1sub
60. deg1mulle2
61. deg1sublt
62. deg1le0
63. deg1sclle
64. deg1scl
65. deg1mul2
66. deg1mul3
67. deg1mul3le
68. deg1tmle
69. deg1tm
70. deg1pwle
71. deg1pw
72. ply1nz
73. ply1nzb
74. ply1domn
75. ply1idom