Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-04 01:52 ef3540a9

View on Github →

chore(measure_theory/function/conditional_expectation): golf condexp_L1 proofs using set_to_fun lemmas (#10592)

Estimated changes