Theorem isSolvable_of_isScalarTower

Modification history

2026-07-17 16:51

Mathlib/FieldTheory/Normal/Basic.lean

chore(GroupTheory): rename `IsSolvable` to `Group.IsSolvable` (#41820) …

Modified isSolvable_of_isScalarTower View on Github →

2023-06-09 06:37

Mathlib/FieldTheory/Normal.lean

feat: port FieldTheory.Normal (#4856)

Added isSolvable_of_isScalarTower View on Github →