Metamath Proof Explorer

Table of Contents - 20.17. Mathbox for Jim Kingdon

1. Circle constant
   1. taupilem3
   2. taupilemrplb
   3. taupilem1
   4. taupilem2
   5. taupi
2. Number theory
   1. dfgcd3