Coincidence of the upper Kuratowski topology with the co-compact topology on compact sets, and the Prohorov property

From MaRDI portal