[Merged by Bors] - chore: split Topology.Algebra.Module.LinearMap#39612

ADedecker wants to merge 13 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

ADedecker:AD_CLM_split_fileADedecker/mathlib4:AD_CLM_split_fileCopy head branch name to clipboard