Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-17 06:22 15bf0667

View on Github →

feat(measure_theory/function/l1_space): add integrability lemmas for composition with to_real (#9199)

Estimated changes