From 5794a2ac9f3d75f57bf89424afd06d9fdb96c9aa Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Thu, 9 May 2024 16:01:38 -0400
Subject: [PATCH] Docs: Add comment about gauge group

---
 HepLean/StandardModel/Basic.lean | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/HepLean/StandardModel/Basic.lean b/HepLean/StandardModel/Basic.lean
index 6da9ff9..fb28abf 100644
--- a/HepLean/StandardModel/Basic.lean
+++ b/HepLean/StandardModel/Basic.lean
@@ -15,6 +15,11 @@ import Mathlib.Analysis.InnerProductSpace.Adjoint
 
 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
 namespace StandardModel