Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-01 20:35 5c92eb0b

View on Github →

feat(measure_theory/function/conditional_expectation): conditional expectation on real functions equal Radon-Nikodym derivative (#9378)

Estimated changes