Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-04-27 09:58
8d0c6e6f
View on Github →
feat: add instances for SFinite (
#12440
)
Estimated changes
Modified
Mathlib/MeasureTheory/Measure/Typeclasses.lean
modified
theorem
MeasureTheory.sfinite_sum_of_countable