Metamath Proof Explorer

Table of Contents - 21.31.4. Trigonometry and Calculus

  1. tanhalfpim
  2. sinpim
  3. cospim
  4. tan3rdpi
  5. sin2t3rdpi
  6. cos2t3rdpi
  7. sin4t3rdpi
  8. cos4t3rdpi
  9. asin1half
  10. acos1half
  11. dvun
  12. redvmptabs
  13. readvrec2
  14. readvrec
  15. resuppsinopn
  16. readvcot