Theorem Polynomial.exists_dvd_map_of_isAlgebraic

Modification history

2025-07-06 08:48
Mathlib/RingTheory/AdjoinRoot.lean
feat(RingTheory): degree of rational function field extension (#26316) …
Modified Polynomial.exists_dvd_map_of_isAlgebraicView on Github →
2025-02-11 17:21
Mathlib/RingTheory/AdjoinRoot.lean
chore(RingTheory/Algebraic): remove unnecessary injectivity assumptions (#21566) …
Added Polynomial.exists_dvd_map_of_isAlgebraicView on Github →