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. mhpmpl
  17. mhpdeg
  18. mhp0cl
  19. mhpvarcl
  20. mhpaddcl
  21. mhpinvcl
  22. mhpsubg
  23. mhpvscacl
  24. mhplss