Theorem MeasureTheory.condLExp_finset_sum

Modification history

2026-04-26 16:26
Mathlib/MeasureTheory/Function/ConditionalLExpectation.lean
chore: camel-case `finset_sum` in lemma names (#37793) …
Deleted MeasureTheory.condLExp_finset_sumView on Github →
2026-03-06 15:35
Mathlib/MeasureTheory/Function/ConditionalLExpectation.lean
feat(MeasureTheory/Probability): Add more condLExp API (#36271)
Added MeasureTheory.condLExp_finset_sumView on Github →