Commit 2024-06-05 20:37 c118ded8

feat: Levy-Prokhorov distance pseudometrizes convergence in distribution (#11549) Add the more interesting direction of topology comparison for the Lévy-Prokhorov distance. Conclude that if the underlying space is separable, then the topology of convergence in distribution coincides with the one obtained from the Lévy-Prokhorov (pseudo)metric. In particular the topology of convergence in distribution is (pseudo)metrizable, and so first countable.