Mathlib v3 is deprecated. Go to Mathlib v4

Theorem abs_max_sub_max_le_abs

Modification history