Bochner measurable

1. redirectBochner measurable function

{{Redirect category shell|

{{R from adjective}}

}}