issue #1853: Define Bochner integrals over subsets and me...

Stream: triage

[Random Issue Bot]

Today I chose issue 1853 for discussion!

Define Bochner integrals over subsets and measures
Created by @Yury G. Kudryashov (@urkud) on 2020-01-03
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

[Sebastien Gouezel]

Yes, @Yury G. Kudryashov has done all this, so it can be closed. Yury, since it's very satisfactory to close an issue like that, I'll let you do it :-)