feat(Algebra/Polynomial/Splits): add Splits.image_rootSet_of_monic#34046

tb65536 wants to merge 3 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

tb65536:tb_image_rootSettb65536/mathlib4:tb_image_rootSetCopy head branch name to clipboard