Theorem Ideal.polynomial_not_isField

Modification history

2026-08-05 13:54
Mathlib/RingTheory/Polynomial/Basic.lean
chore: deduplicate theorem `Polynomial.not_isField` (#42337) …
Deleted Ideal.polynomial_not_isFieldView on Github →
2023-03-30 13:14
Mathlib/RingTheory/Polynomial/Basic.lean
feat: port RingTheory.Polynomial.Basic (#3067)
Added Ideal.polynomial_not_isFieldView on Github →