Commit 2019-02-09 15:41 088f753a
View on Github →refactor(geo_sum): remove duplicate proofs about geometric sums (#706)
- feat(data/finset): add range_add_one
- feat(algebra/big_operators): geometric sum for semiring, ring and division ring
- refactor(geo_sum): remove duplicate proofs about geometric sums