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. df-mhp
7. df-psd
8. df-algind
9. selvffval
10. selvfval
11. selvval
12. mhpfval
13. mhpval
14. ismhp
15. ismhp2
16. ismhp3
17. mhpmpl
18. mhpdeg
19. mhp0cl
20. mhpsclcl
21. mhpvarcl
22. mhpmulcl
23. mhppwdeg
24. mhpaddcl
25. mhpinvcl
26. mhpsubg
27. mhpvscacl
28. mhplss