mathlib
b978f366 - refactor(field_theory/fixed): Generalize alg_hom lemmas (#5174)

Commit

5 years ago

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.

Author

tb65536

Parents

e7c2bba1

mathlib b978f366 - refactor(field_theory/fixed): Generalize alg_hom lemmas (#5174)

mathlib
b978f366 - refactor(field_theory/fixed): Generalize alg_hom lemmas (#5174)