Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.not_is_field

Modification history

2022-03-28 11:38
src/data/polynomial/div.lean
chore(data/polynomial/ring_division): remove nontrivial assumptions (#12984) …
Modified polynomial.not_is_fieldView on Github →
2022-03-17 11:06
src/data/polynomial/div.lean
feat(number_theory/function_field): the ring of integers of a function field is not a field (#12705)
Added polynomial.not_is_fieldView on Github →