basic): add finset.prod_to_list (#10842)

Commit

4 years ago

feat(algebra/big_operators/basic): add finset.prod_to_list (#10842) Co-authored-by: jlh <48520973+Jlh18@users.noreply.github.com>

Author

Jlh18

Parents