Theorem IntermediateField.mem_sInf

Modification history

2026-03-20 17:27
Mathlib/FieldTheory/IntermediateField/Adjoin/Defs.lean
chore(FieldTheory/AbelRuffini): simpler definition of `solvableByRad` (#35908) …
Added IntermediateField.mem_sInfView on Github →