Theorem Subfield.mem_sInf

Modification history

2026-03-20 17:27
Mathlib/Algebra/Field/Subfield/Basic.lean
chore(FieldTheory/AbelRuffini): simpler definition of `solvableByRad` (#35908) …
Modified Subfield.mem_sInfView on Github →
2023-05-14 07:05
Mathlib/FieldTheory/Subfield.lean
chore: Rename to `sSup`/`iSup` (#3938) …
Added Subfield.mem_sInfView on Github →