Metamath Proof Explorer

Table of Contents - 11.3.3. Additional definitions for (multivariate) polynomials

1. cslv
2. cmhp
3. cpsd
4. cai
5. df-selv
6. selvffval
7. selvfval
8. selvval
9. df-mhp
10. reldmmhp
11. mhpfval
12. mhpval
13. ismhp
14. ismhp2
15. ismhp3
16. mhprcl
17. mhpmpl
18. mhpdeg
19. mhp0cl
20. mhpsclcl
21. mhpvarcl
22. mhpmulcl
23. mhppwdeg
24. mhpaddcl
25. mhpinvcl
26. mhpsubg
27. mhpvscacl
28. mhplss
29. df-psd
30. psdffval
31. psdfval
32. psdval
33. psdcoef
34. psdcl
35. psdmplcl
36. psdadd
37. psdvsca
38. psdmullem
39. psdmul
40. psd1
41. psdascl
42. psdmvr
43. psdpw
44. df-algind