mathlib

38bf2abd - feat(field_theory/abel_ruffini): Version of solvable_by_rad.is_solvable (#7509)

feat(field_theory/abel_ruffini): Version of solvable_by_rad.is_solvable (#7509) This is a version of `solvable_by_rad.is_solvable`, which will be the final step of the abel-ruffini theorem.