Zulip Chat Archive

Stream: triage

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


view this post on Zulip 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
Labels: feature-request

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

view this post on Zulip 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