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

Update CliffordAlgebra.lean

Browse source
This commit is contained in:
Pietro Monticone 2024-05-20 23:36:38 +02:00
parent 90527e7872
commit 4a129f1e9d
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
HepLean/SpaceTime/CliffordAlgebra.lean
View file

@ -11,8 +11,8 @@ This file defines the Gamma matrices.
## TODO ## TODO
- Prove that the algebra generated by the gamma matrices is ismorphic to the - Prove that the algebra generated by the gamma matrices is isomorphic to the
Clifford algebra assocaited with spacetime. Clifford algebra associated with spacetime.
- Include relations for gamma matrices. - Include relations for gamma matrices.
-/ -/