mathlib3

feat(algebra/geom_sum): sum of a geom_series over an Ico

#1573

Merged