Metamath Proof Explorer


Table of Contents - 20.31.20. Lagrange's rational approximation theorem

  1. irrapxlem1
  2. irrapxlem2
  3. irrapxlem3
  4. irrapxlem4
  5. irrapxlem5
  6. irrapxlem6
  7. irrapx1