Theorem MeasureTheory.IsSetRing.finsetSup_mem

Modification history

2025-01-21 20:44
Mathlib/MeasureTheory/SetSemiring.lean
refactor(Order/Disjointed): allow arbitrary partial orders as domain (#20545)
Added MeasureTheory.IsSetRing.finsetSup_memView on Github →