Talk:Kuratowski–Ryll-Nardzewski measurable selection theorem