Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-23 11:38 f95c01e4

View on Github →

feat(algebra/ordered_*): add three simple lemmas (#1731)

Estimated changes

Modified src/algebra/ordered_field.lean

added theorem div_le_div_of_le_of_nonneg

Modified src/algebra/ordered_ring.lean

added theorem abs_two

added theorem zero_lt_two