Theorem solvableByRad.isIntegral

Modification history

2026-03-20 17:27

Mathlib/FieldTheory/AbelRuffini.lean

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

Deleted solvableByRad.isIntegral View on Github →

2023-06-24 15:03

Mathlib/FieldTheory/AbelRuffini.lean

feat: port FieldTheory.AbelRuffini (#5424)

Added solvableByRad.isIntegral View on Github →