Mathlib v3 is deprecated. Go to Mathlib v4

Theorem vitali_family.measure_le_mul_of_subset_lim_ratio_meas_lt

Modification history