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.
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.