Theorem Polynomial.not_isField

Modification history

2026-08-05 13:54

Mathlib/Algebra/Polynomial/Div.lean

chore: deduplicate theorem `Polynomial.not_isField` (#42337) …

Modified Polynomial.not_isField View on Github →

2023-03-19 06:36

Mathlib/Data/Polynomial/Div.lean

feat: port Data.Polynomial.Div (#2975)

Added Polynomial.not_isField View on Github →