Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-04 01:53 7a4125bc

View on Github →

feat(algebra/field): field homs

Estimated changes

Modified algebra/field.lean

added theorem is_field_hom.map_div'

added theorem is_field_hom.map_div

added theorem is_field_hom.map_eq_zero

added theorem is_field_hom.map_inv'

added theorem is_field_hom.map_inv

added theorem is_field_hom.map_ne_zero

added def is_field_hom