fix

themathqueen · themathqueen · commit e419fa0ccd75 · 2025-06-12T12:17:57.000Z
diff --git a/Monlib/LinearAlgebra/Coalgebra/MulOpposite.lean b/Monlib/LinearAlgebra/Coalgebra/MulOpposite.lean
@@ -1,4 +1,4 @@
-import Monlib.LinearAlgebra.TensorProduct.lemmas
+import Monlib.LinearAlgebra.TensorProduct.Lemmas
 import Monlib.LinearAlgebra.LinearMapOp
 import Monlib.LinearAlgebra.Coalgebra.Lemmas
 import Mathlib.LinearAlgebra.TensorProduct.Opposite

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-import Monlib.LinearAlgebra.TensorProduct.lemmas`
	`1`	`+import Monlib.LinearAlgebra.TensorProduct.Lemmas`
`2`	`2`	`import Monlib.LinearAlgebra.LinearMapOp`
`3`	`3`	`import Monlib.LinearAlgebra.Coalgebra.Lemmas`
`4`	`4`	`import Mathlib.LinearAlgebra.TensorProduct.Opposite`