[Merged by Bors] - chore(Analysis/Distribution): split off derivatives from SchwartzSpace and create new folder#34027

mcdoll wants to merge 5 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

mcdoll:split_schwartzmcdoll/mathlib4:split_schwartzCopy head branch name to clipboard