feat: more API for set integrals wrt vector measures#40808

sgouezel wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

sgouezel:SG_moreSetIntsgouezel/mathlib4:SG_moreSetIntCopy head branch name to clipboard