Metamath Proof Explorer

Table of Contents - 21.21. Mathbox for Jim Kingdon

1. Circle constant
   1. taupilem3
   2. taupilemrplb
   3. taupilem1
   4. taupilem2
   5. taupi
2. Number theory
   1. dfgcd3
3. Real numbers
   1. irrdifflemf
   2. irrdiff
   3. qdiff
   4. qdiffALT
   5. iccioo01