[Merged by Bors] - chore(LinearAlgebra/Span): reverse import order between Submodule/Pointwise and Span/Basic#38013

martinwintermath wants to merge 24 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

martinwintermath:submodule-span-pointwise-revertmartinwintermath/mathlib4:submodule-span-pointwise-revertCopy head branch name to clipboard