mathlib3
b537cc08 - feat(algebra/splitting_field): Restrict to splitting field (#5562)

Commit

5 years ago

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

Author

tb65536

Parents