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

Merged

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

mergify merged 3 commits into master from geom-sum-Ico

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

aae3ad11

kim-em approved these changes on 2019-10-21

jcommelin commented on 2019-10-21

Add two more versions as requested by @jcommelin

338132a7

jcommelin approved these changes on 2019-10-21

jcommelin added ready-to-merge

Merge branch 'master' into geom-sum-Ico

5dc0d170

mergify merged d2d29ffd into master 6 years ago

mergify deleted the geom-sum-Ico branch 6 years ago

Reviewers

jcommelin

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone