mathlib3
feat(algebra/big_operators): products and sums over `finset.Ico`
#1567

Merged

feat(algebra/big_operators): products and sums over `finset.Ico` #1567

mergify merged 2 commits into master from prod-sum-Ico

feat(algebra/big_operators): products and sums over `finset.Ico`

dcc9ee70

jcommelin approved these changes on 2019-10-19

jcommelin added ready-to-merge

Merge branch 'master' into prod-sum-Ico

c8331038

mergify merged f5446325 into master 6 years ago

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

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone