Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mem_pi_Union_Inter_of_measurable_set

Modification history