Theorem isCompact_closure_of_isTightMeasureSet

Modification history

2025-12-21 15:46
Mathlib/MeasureTheory/Measure/Prokhorov.lean
feat: Prokhorov theorem (#32701) …
Added isCompact_closure_of_isTightMeasureSetView on Github →