mathlib

82a53736 - feat(*): update to Lean 3.49 (#17470)

feat(*): update to Lean 3.49 (#17470) In https://github.com/leanprover-community/lean/pull/779 we backported the Lean 4 definition of min and max in `linear_order`. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>