Theorem Set.disjoint_accumulate

Modification history

2025-01-24 07:58
Mathlib/Data/Set/Accumulate.lean
feat(MeasureTheory): additive contents on rings of sets (#20977) …
Added Set.disjoint_accumulateView on Github →