[Merged by Bors] - feat(Algebra/Polynomial/Splits): generalize Splits.of_splits_map to injective ring homomorphisms#34048

tb65536 wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

tb65536:tb_spl_injtb65536/mathlib4:tb_spl_injCopy head branch name to clipboard