Theorem MeasureTheory.IsSetRing.iUnion_le_mem

Modification history

2025-01-24 07:58
Mathlib/MeasureTheory/SetSemiring.lean
feat(MeasureTheory): additive contents on rings of sets (#20977) …
Added MeasureTheory.IsSetRing.iUnion_le_memView on Github →