Commit 2020-05-17 02:07 4f484a1e

View on Github →

feat(archive/100-theorems-list): Sum of the Reciprocals of the Triangular Numbers (#2692) Adds a folder archive/100-theorems-list, moves our proof of 82 into it, and provides a proof of 42. There's a readme, I haven't really thought about what should go in there.

Estimated changes

Created archive/100-theorems-list/42_inverse_triangle_sum.lean

added theorem inverse_triangle_sum

Renamed archive/cubing_a_cube.lean to archive/100-theorems-list/82_cubing_a_cube.lean

Created archive/100-theorems-list/README.md

Modified src/algebra/big_operators.lean

added theorem finset.prod_range_induction

modified theorem finset.sum_range_id_mul_two

added theorem finset.sum_range_induction