Theorem MeasureTheory.VectorMeasure.of_disjoint_iUnion_nat
Modification history
2025-04-01 02:20
Mathlib/MeasureTheory/VectorMeasure/Basic.lean
chore: remove >6 month old deprecations (2024-09) (#23516) …
Deleted MeasureTheory.VectorMeasure.of_disjoint_iUnion_natView on Github →