Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-17 14:35
d62cc4a4
View on Github →
feat: port Probability.ConditionalExpectation (
#5192
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Probability/ConditionalExpectation.lean
added
theorem
MeasureTheory.condexp_indep_eq