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

Docs: Add comment about gauge group

Browse source
This commit is contained in:
jstoobysmith 2024-05-09 16:01:38 -04:00
parent c2a5ce612b
commit 5794a2ac9f
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
HepLean/StandardModel/Basic.lean
View file

@ -15,6 +15,11 @@ import Mathlib.Analysis.InnerProductSpace.Adjoint
This file defines the basic properties of the standard model in particle physics. This file defines the basic properties of the standard model in particle physics.
## TODO
- Change the gauge group to a quotient of SU(3) x SU(2) x U(1) by a subgroup of ℤ₆.
(see e.g. pg 97 of http://www.damtp.cam.ac.uk/user/tong/gaugetheory/gt.pdf)
-/ -/
universe v u universe v u
namespace StandardModel namespace StandardModel