weak_convergence.lean

Commit

4 years ago

Update src/measure_theory/weak_convergence.lean Co-authored-by: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com>

Author

kkytola

Parents