Mathlib Changelog
v4
Changelog
About
Github
Theorem
isSolvable_gal_minpoly
Modification history
2026-03-20 17:27
Mathlib/FieldTheory/AbelRuffini.lean
chore(FieldTheory/AbelRuffini): simpler definition of `solvableByRad` (#35908) …
Added
isSolvable_gal_minpoly
View on Github →