Theorem MeasureTheory.tendstoInDistribution_unique

Modification history

2025-10-29 09:00
Mathlib/MeasureTheory/Function/ConvergenceInDistribution.lean
feat: convergence in distribution and continuous mapping theorem (#30540) …
Added MeasureTheory.tendstoInDistribution_uniqueView on Github →