Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.null_iff_empty_of_is_mul_left_invariant

Modification history