mathlib3
fix(algebra/big_operators): in finset.prod_map, remove spurious [comm_monoid β]
#934
Merged
Merged
fix(algebra/big_operators): in finset.prod_map, remove spurious [comm_monoid β] #934
ChrisHughes24
merged
1 commit into
leanprover-community:master
from
NeilStrickland:fix_prod_map
fix(algebra/big_operators): change variables in finset.prod_map to re…
5883f057
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub