Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-11-05 00:29 8e99f987

View on Github →

fix(algebra/field): update to lean

Estimated changes

Modified algebra/field.lean

deleted theorem division_ring.inv_inv

deleted theorem division_ring.one_div_div

deleted theorem inv_ne_zero

Modified algebra/ring.lean

added theorem mul_neg_one

deleted theorem mul_neg_one_eq_neg

added theorem neg_one_mul