Commit 2026-07-17 16:51 7ffc1c27

View on Github →

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

Estimated changes

modified theorem gal_C_isSolvable
modified theorem gal_X_isSolvable
modified theorem gal_X_pow_isSolvable
modified theorem gal_X_pow_sub_C_isSolvable
modified theorem gal_X_sub_C_isSolvable
modified theorem gal_mul_isSolvable
modified theorem gal_one_isSolvable
modified theorem gal_prod_isSolvable
modified theorem gal_zero_isSolvable
modified theorem isSolvable_of_isScalarTower
deleted theorem Equiv.Perm.not_solvable
deleted theorem isSolvable_of_comm
deleted theorem isSolvable_of_top_eq_bot
deleted theorem solvable_of_ker_le_range
deleted theorem solvable_of_surjective