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

Update Basic.lean

Browse source
This commit is contained in:
Pietro Monticone 2024-05-20 00:19:36 +02:00
parent 1cd9dd3ed4
commit ee3c7580b5
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
HepLean/FlavorPhysics/CKMMatrix/Basic.lean
View file

@ -9,7 +9,7 @@ import Mathlib.Tactic.Polyrith
/-! /-!
# The CKM Matrix # The CKM Matrix
The definition of the type of CKM matries as unitary $3×3$-matries. The definition of the type of CKM matrices as unitary $3×3$-matrices.
An equivalence relation on CKM matrices is defined, where two matrices are equivalent if they are An equivalence relation on CKM matrices is defined, where two matrices are equivalent if they are
related by phase shifts. related by phase shifts.