feat(data/polynomial): generalize theorems from nonzero_comm_ring to comm_ring (#653)
feat(data/polynomial): generalize theorems from nonzero_comm_ring to comm_ring (#653)


leanprover-community/mathlib,leanprover-community/mathlib