mathlib3
feat(algebra/big_operators): sum_eq_zero_iff_of_nonpos
#1424

Merged

feat(algebra/big_operators): sum_eq_zero_iff_of_nonpos #1424

mergify merged 3 commits into master from sum_eq_zero

feat(algebra/big_operators): sum_eq_zero_iff_of_nonpos

30c98d33

ChrisHughes24 requested a review 6 years ago

jcommelin commented on 2019-09-09

more order_dual instances

e827d3d5

jcommelin approved these changes on 2019-09-09

jcommelin added ready-to-merge

Merge branch 'master' into sum_eq_zero

d766ffc2

mergify merged 228d5bad into master 6 years ago

mergify deleted the sum_eq_zero branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone