Mathlib v3 is deprecated. Go to Mathlib v4

Theorem box_integral.integration_params.exists_mem_base_set_le_Union_eq

Modification history