fix(data/polynomial): (nat_)degree_map' assumed a comm_ring instead of a comm_semiring
fix(data/polynomial): (nat_)degree_map' assumed a comm_ring instead of a comm_semiring

leanprover-community/mathlib,leanprover-community/mathlib