Mathlib Changelog
v4
Changelog
About
Github
Theorem
Measurable.smul_measure
Modification history
2025-08-04 07:37
Mathlib/MeasureTheory/Measure/GiryMonad.lean
feat(Probability): lemmas about `Kernel.discard` (#27584)
Added
Measurable.smul_measure
View on Github →