Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-09-10 15:33 2dd6398e

View on Github →

let simp flip inequalities (#1418)

Estimated changes

Modified src/algebra/order.lean

added theorem ge_iff_le

added theorem gt_iff_lt

Modified src/data/rat/order.lean

Modified src/number_theory/pell.lean

Modified src/tactic/linarith.lean