Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.Lp_meas_to_Lp_trim_right_inv

Modification history