Theorem MeasureTheory.VectorMeasure.of_biUnion_finset

Modification history

2026-07-17 20:05
Mathlib/MeasureTheory/VectorMeasure/Basic.lean
feat: the product of vector measures (#41546)
Modified MeasureTheory.VectorMeasure.of_biUnion_finsetView on Github →
2026-01-26 09:20
Mathlib/MeasureTheory/VectorMeasure/Basic.lean
feat: more basic API on vector measures (#34414) …
Added MeasureTheory.VectorMeasure.of_biUnion_finsetView on Github →