Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-03 14:04 b978f366

View on Github →

refactor(field_theory/fixed): Generalize alg_hom lemmas (#5174) This PR generalizes some alg_hom lemmas to not require equality of the domain and codomain.

Estimated changes