Mathlib v3 is deprecated. Go to Mathlib v4

Theorem box_integral.integration_params.GP_le

Modification history