combinatorics: introduce sums and products over finite sets
combinatorics: introduce sums and products over finite sets

leanprover/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof