[Merged by Bors] - chore: semilinearize LinearMap.submodule[Co]map#39726

ADedecker wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

ADedecker:AD_semilin_submoduleMapADedecker/mathlib4:AD_semilin_submoduleMapCopy head branch name to clipboard