Metamath Proof Explorer


Table of Contents - 20.43.6.17. Finite intervals of integers - extension

  1. ssfz12
  2. elfz2z
  3. 2elfz3nn0
  4. fz0addcom
  5. 2elfz2melfz
  6. fz0addge0
  7. elfzlble
  8. elfzelfzlble