Mathlib v3 is deprecated. Go to Mathlib v4

Theorem gal_X_pow_sub_C_is_solvable_aux

Modification history

2021-03-19 09:01
src/field_theory/abel_ruffini.lean
feat(field_theory/abel_ruffini): solvable by radicals implies solvable Galois group (#6631) …
Added gal_X_pow_sub_C_is_solvable_auxView on Github →