Mathlib v3 is deprecated. Go to Mathlib v4

Theorem one_div_lt

Modification history

2019-10-09 05:24
src/algebra/ordered_field.lean
feat(algebra/ordered...): Two tiny lemmas (#1522) …
Added one_div_ltView on Github →