Theorem MeasureTheory.TendstoInDistribution.continuous_comp

Modification history

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