Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-30 08:41 29d5f110

View on Github →

chore(algebra/group_with_zero): weaken assumptions in some lemmas (#3630)

Estimated changes

Modified src/algebra/field.lean

modified theorem ring_hom.map_div

modified theorem ring_hom.map_inv

Modified src/algebra/group/hom.lean

modified theorem monoid_hom.injective_iff

Modified src/algebra/group_with_zero.lean

modified theorem monoid_hom.map_units_inv

Modified src/algebra/ring/basic.lean

modified theorem ring_hom.injective_iff