mathlib

e593ffa6 - feat(algebra/ordered*): more simp lemmas (#4359)

feat(algebra/ordered*): more simp lemmas (#4359) Simplify expressions like `0 < a * b`, `0 < a / b`, `a / b < 1` etc. to FOL formulas of inequalities on `a`, `b`.