[Merged by Bors] - chore: generalize `Adapted` to dependent types#30549

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

RemyDegenne:RD_adaptedDependentRemyDegenne/mathlib4:RD_adaptedDependentCopy head branch name to clipboard