Metamath Proof Explorer

Table of Contents - 21.3.25. Polynomials with real coefficients - misc additions

1. plyrecld
2. signsplypnf
3. signsply0