Metamath Proof Explorer

Table of Contents - 21.50.19.11. Univariate polynomials (extension)

  1. ply1vr1smo
  2. ply1sclrmsm
  3. coe1id
  4. coe1sclmulval
  5. ply1mulgsumlem1
  6. ply1mulgsumlem2
  7. ply1mulgsumlem3
  8. ply1mulgsumlem4
  9. ply1mulgsum
  10. evl1at0
  11. evl1at1