Theorem isIntegral_of_mem_solvableByRad

Modification history

2026-03-20 17:27

Mathlib/FieldTheory/AbelRuffini.lean

chore(FieldTheory/AbelRuffini): simpler definition of `solvableByRad` (#35908) …

Added isIntegral_of_mem_solvableByRad View on Github →