Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_splitting_field.range_to_alg_hom

Modification history

2021-01-27 08:41
src/field_theory/splitting_field.lean
feat(field_theory/normal): Restrict to normal subfield (#5845) …
Deleted is_splitting_field.range_to_alg_homView on Github →
2021-01-11 10:10
src/field_theory/splitting_field.lean
feat(algebra/splitting_field): Restrict to splitting field (#5562) …
Added is_splitting_field.range_to_alg_homView on Github →