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

refactor: Lint

Browse source
This commit is contained in:
jstoobysmith 2024-06-27 08:48:09 -04:00
parent f92291885a
commit fc6db7354b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
HepLean.lean
View file

@ -58,8 +58,8 @@ import HepLean.FlavorPhysics.CKMMatrix.Relations
import HepLean.FlavorPhysics.CKMMatrix.Rows import HepLean.FlavorPhysics.CKMMatrix.Rows
import HepLean.FlavorPhysics.CKMMatrix.StandardParameterization.Basic import HepLean.FlavorPhysics.CKMMatrix.StandardParameterization.Basic
import HepLean.FlavorPhysics.CKMMatrix.StandardParameterization.StandardParameters import HepLean.FlavorPhysics.CKMMatrix.StandardParameterization.StandardParameters
import HepLean.Mathematics.SO3.Basic
import HepLean.Mathematics.LinearMaps import HepLean.Mathematics.LinearMaps
import HepLean.Mathematics.SO3.Basic
import HepLean.SpaceTime.AsSelfAdjointMatrix import HepLean.SpaceTime.AsSelfAdjointMatrix
import HepLean.SpaceTime.Basic import HepLean.SpaceTime.Basic
import HepLean.SpaceTime.CliffordAlgebra import HepLean.SpaceTime.CliffordAlgebra