Mathlib v3 is deprecated. Go to Mathlib v4

Theorem image_sub_lt_mul_sub_of_deriv_lt

Modification history