Metamath Proof Explorer

Table of Contents - 14.4.3. The Basel problem (ζ(2) = π2/6)

  1. basellem1
  2. basellem2
  3. basellem3
  4. basellem4
  5. basellem5
  6. basellem6
  7. basellem7
  8. basellem8
  9. basellem9
  10. basel