Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_solvable_of_is_scalar_tower

Modification history

2022-06-02 19:38
src/field_theory/normal.lean
refactor(field_theory/normal): generalize `lift_normal` and `restrict_normal` (#14450) …
Modified is_solvable_of_is_scalar_towerView on Github →
2021-03-17 08:30
src/field_theory/normal.lean
feat(field_theory/normal): Tower of solvable extensions is solvable (#6643) …
Added is_solvable_of_is_scalar_towerView on Github →