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
  3. Real numbers
    1. irrdifflemf
    2. irrdiff
    3. iccioo01