DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix: File name case error

Browse source
This commit is contained in:
jstoobysmith 2024-05-22 16:50:53 -04:00
parent 9c836e1f86
commit b3fa7b503c
2 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
HepLean/GroupTheory/SO3/Basic.lean
View file

@ -7,7 +7,7 @@ import Mathlib.LinearAlgebra.UnitaryGroup
import Mathlib.LinearAlgebra.Matrix.GeneralLinearGroup
import Mathlib.Data.Complex.Exponential
import Mathlib.Geometry.Manifold.VectorBundle.Basic
import Mathlib.LinearAlgebra.EigenSpace.Basic
import Mathlib.LinearAlgebra.Eigenspace.Basic
import Mathlib.Analysis.InnerProductSpace.Basic
import Mathlib.Analysis.InnerProductSpace.Adjoint
/-!