diff --git a/Mathlib.lean b/Mathlib.lean
index 2e6f05fb7e70c2..788c3262b42970 100644
--- a/Mathlib.lean
+++ b/Mathlib.lean
@@ -7474,6 +7474,8 @@ public import Mathlib.Topology.Algebra.Module.Determinant
 public import Mathlib.Topology.Algebra.Module.Equiv
 public import Mathlib.Topology.Algebra.Module.FiniteDimension
 public import Mathlib.Topology.Algebra.Module.FiniteDimensionBilinear
+public import Mathlib.Topology.Algebra.Module.LinearMap
+public import Mathlib.Topology.Algebra.Module.LinearMapPiProd
 public import Mathlib.Topology.Algebra.Module.LinearPMap
 public import Mathlib.Topology.Algebra.Module.LocallyConvex
 public import Mathlib.Topology.Algebra.Module.ModuleTopology
diff --git a/Mathlib/Topology/Algebra/Module/LinearMap.lean b/Mathlib/Topology/Algebra/Module/LinearMap.lean
new file mode 100644
index 00000000000000..9b2c3ac60cfd46
--- /dev/null
+++ b/Mathlib/Topology/Algebra/Module/LinearMap.lean
@@ -0,0 +1,9 @@
+module -- shake: keep-all
+
+public import Mathlib.Topology.Algebra.Module.ContinuousLinearMap.Basic
+public import Mathlib.Topology.Algebra.Module.ContinuousLinearMap.Idempotent
+public import Mathlib.Topology.Algebra.Module.ContinuousLinearMap.Quotient
+public import Mathlib.Topology.Algebra.Module.ContinuousLinearMap.Restrict
+public import Mathlib.Topology.Algebra.Module.ContinuousLinearMap.RestrictScalars
+
+deprecated_module (since := "2026-05-21")
diff --git a/Mathlib/Topology/Algebra/Module/LinearMapPiProd.lean b/Mathlib/Topology/Algebra/Module/LinearMapPiProd.lean
new file mode 100644
index 00000000000000..2028364d8e75ad
--- /dev/null
+++ b/Mathlib/Topology/Algebra/Module/LinearMapPiProd.lean
@@ -0,0 +1,5 @@
+module -- shake: keep-all
+
+public import Mathlib.Topology.Algebra.Module.ContinuousLinearMap.PiProd
+
+deprecated_module (since := "2026-05-21")