Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measurable_set.measure_eq_supr_is_closed_of_ne_top

Modification history