mathlib
b34da002 - feat(algebra/geom_sum): adds further variants (#6077)

Commit
4 years ago
feat(algebra/geom_sum): adds further variants (#6077) This adds further variants for the value of `geom_series\2`. Additionally, a docstring is provided. Thanks to Patrick Massot for help with the reindexing of sums. Co-authored-by: Julian-Kuelshammer <68201724+Julian-Kuelshammer@users.noreply.github.com>
Parents
Loading