Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fn_min_mul_fn_max

Modification history