Metamath Proof Explorer

Table of Contents - 5.10.9. Geometric series

1. expcnv
2. explecnv
3. geoserg
4. geoser
5. pwdif
6. pwm1geoser
7. pwm1geoserOLD
8. geolim
9. geolim2
10. georeclim
11. geo2sum
12. geo2sum2
13. geo2lim
14. geomulcvg
15. geoisum
16. geoisumr
17. geoisum1
18. geoisum1c
19. 0.999...
20. geoihalfsum