chore(ring_theory/polynomial/basic): golf polynomial_not_is_field (#13919)
chore(ring_theory/polynomial/basic): golf polynomial_not_is_field (#13919)






leanprover-community/mathlib,leanprover-community/mathlib