Theorem MeasureTheory.addContent_iUnion_eq_tsum_of_disjoint_of_addContent_iUnion_le

Modification history

2025-02-03 09:44
Mathlib/MeasureTheory/Measure/AddContent.lean
(sub-)additivity of an addContent on a (semi-)ring of sets (#21036) …
Added MeasureTheory.addContent_iUnion_eq_tsum_of_disjoint_of_addContent_iUnion_leView on Github →