Theorem MeasureTheory.FiniteMeasure.restrict_biUnion_finset

Modification history

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