basic): list.prod_range_succ, list.sum_range_succ
#1197

Merged

feat(data/list/basic): list.prod_range_succ, list.sum_range_succ #1197

mergify merged 6 commits into master from list.prod_range_succ

feat(data/list/basic): list.prod_range_succ, list.sum_range_succ

ed29e75b

bryangingechen requested a review 6 years ago

cipher1024 commented on 2019-07-09

cipher1024 dismissed these changes on 2019-07-09

changes from review

16219bca

bryangingechen requested a review from

cipher1024 6 years ago

ChrisHughes24 commented on 2019-07-10

remove simp

0608c4cd

ChrisHughes24 approved these changes on 2019-07-10

ChrisHughes24 added ready-to-merge

shorten proof

be775f87

Merge branch 'master' into list.prod_range_succ

6d1717e6

ChrisHughes24 dismissed their stale review 6 years ago

changes made

Merge branch 'master' into list.prod_range_succ

c52bfbda

mergify merged d2b4380c into master 6 years ago

mergify deleted the list.prod_range_succ branch 6 years ago

Reviewers

ChrisHughes24

cipher1024

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone