algebraic_closure): add instances normal and is_galois for algebraic closure (#18730)

Commit

2 years ago

feat(field_theory/is_alg_closed/algebraic_closure): add instances normal and is_galois for algebraic closure (#18730)

Author

xroblot

Parents