Skip to content

Commit 53d79f1

Browse files
committed
Resolve import conflict again
1 parent a8a11e8 commit 53d79f1

1 file changed

Lines changed: 0 additions & 5 deletions

File tree

Mathlib.lean

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4848,13 +4848,8 @@ public import Mathlib.LinearAlgebra.Basis.VectorSpace
48484848
public import Mathlib.LinearAlgebra.BilinearForm.Basic
48494849
public import Mathlib.LinearAlgebra.BilinearForm.DualLattice
48504850
public import Mathlib.LinearAlgebra.BilinearForm.Hom
4851-
<<<<<<< HEAD
48524851
public import Mathlib.LinearAlgebra.BilinearForm.IndefiniteMetric
48534852
public import Mathlib.LinearAlgebra.BilinearForm.KreinSpace
4854-
=======
4855-
public import Mathlib.LinearAlgebra.BilinearForm.Isometry
4856-
public import Mathlib.LinearAlgebra.BilinearForm.IsometryEquiv
4857-
>>>>>>> upstream/master
48584853
public import Mathlib.LinearAlgebra.BilinearForm.Orthogonal
48594854
public import Mathlib.LinearAlgebra.BilinearForm.Properties
48604855
public import Mathlib.LinearAlgebra.BilinearForm.TensorProduct

0 commit comments

Comments
 (0)