basic): lemmas about prod and take
#2345

Merged

feat (data/list/basic): lemmas about prod and take #2345

mergify merged 5 commits into master from sum_take

feat (data/list/basic): lemmas about prod and take

e98df931

jcommelin commented on 2020-04-07

move lemma

97dee59f

one more

dace13dd

jcommelin commented on 2020-04-07

using to_additive properly

ef6d97c8

kim-em added awaiting-review

jcommelin approved these changes on 2020-04-08

jcommelin removed awaiting-review

jcommelin added ready-to-merge

Merge branch 'master' into sum_take

d1cff972

mergify merged cb8d8ace into master 5 years ago

mergify deleted the sum_take branch 5 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone