chore(data/polynomial/eval): add `map_ring_hom_{id,comp}` lemmas (#7019)
chore(data/polynomial/eval): add `map_ring_hom_{id,comp}` lemmas (#7019)






leanprover-community/mathlib,leanprover-community/mathlib