Metamath Proof Explorer

Table of Contents - 20.3.25.1. Sign changes in a word over real numbers

  1. signspval
  2. signsw0glem
  3. signswbase
  4. signswplusg
  5. signsw0g
  6. signswmnd
  7. signswrid
  8. signswlid
  9. signswn0
  10. signswch