Mathlib Changelog
v4
Changelog
About
Github
Theorem
MeasureTheory.IsSetRing.partialSups_mem
Modification history
2024-08-15 14:22
Mathlib/MeasureTheory/SetSemiring.lean
feat: Add partialSups lemmas (#15291)
Added
MeasureTheory.IsSetRing.partialSups_mem
View on Github →