Theorem MeasureTheory.condExp_zero
Modification history
2026-01-26 14:38
Mathlib/MeasureTheory/Function/ConditionalExpectation/Basic.lean
style: consistently put whitespace around pipes in conditional expectation and variance (#33815) …
Modified MeasureTheory.condExp_zeroView on Github →