mathlib3
feat(list/prod_monoid): add list.prod_map* lemmas
#10131

Open

feat(list/prod_monoid): add list.prod_map* lemmas #10131

EPronovost wants to merge 2 commits into master from epronovost/list_prod_map

EPronovost added awaiting-review

eric-wieser commented on 2021-11-03

jcommelin removed awaiting-review

jcommelin added awaiting-author

EPronovost removed awaiting-author

EPronovost added awaiting-review

github-actions added merge-conflict

feat(list/prod_monoid): add list.prod_map* lemmas

84751880

EPronovost force pushed from 3ab8de34 to 84751880 4 years ago

github-actions removed merge-conflict

Add delta

012f85ac

kim-em added too-late

Reviewers

eric-wieser

Assignees

No one assigned

Labels

awaiting-review too-late

Milestone

No milestone