Metamath Proof Explorer

Table of Contents - 5.10.8. Arithmetic series

1. arisum
2. arisum2
3. trireciplem
4. trirecip