Mathlib v3 is deprecated. Go to Mathlib v4

Theorem image_norm_le_of_liminf_right_slope_norm_lt_deriv_boundary

Modification history