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_measureView on Github →