Mathlib v3 is deprecated. Go to Mathlib v4

Theorem integrable_on_Icc_iff_integrable_on_Ico

Modification history