style(linear_algebra/submodule): changed import order; added product construction
style(linear_algebra/submodule): changed import order; added product construction

leanprover-community/mathlib,leanprover-community/mathlib