Random Issue Bot (Jan 22 2021 at 14:53):
Today I chose issue 1853 for discussion!
Define Bochner integrals over subsets and measures
Created by @Yury G. Kudryashov (@urkud) on 2020-01-03
Is this issue still relevant? Any recent updates? Anyone making progress?
Sebastien Gouezel (Jan 22 2021 at 14:56):
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 :-)
Last updated: May 09 2021 at 16:20 UTC