Theorem RatFunc.IntermediateField.isAlgebraic_X

Modification history

2026-04-05 03:22
Mathlib/FieldTheory/RatFunc/IntermediateField.lean
chore(RatFunc/Luroth): split file and small changes (#37397) …
Modified RatFunc.IntermediateField.isAlgebraic_XView on Github →
2026-03-06 21:32
Mathlib/FieldTheory/RatFunc/Luroth.lean
feat(FieldTheory/RatFunc): Lüroth's theorem (#36109)
Added RatFunc.IntermediateField.isAlgebraic_XView on Github →