# Commit 2021-01-11 10:10 b537cc08

View on Github →feat(algebra/splitting_field): Restrict to splitting field (#5562) Restrict an alg_hom or alg_equiv to an is_splitting_field.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebra/splitting_field): Restrict to splitting field (#5562) Restrict an alg_hom or alg_equiv to an is_splitting_field.