From 518562c9dfc69179cd5304b5ae9fd58cf2e23e4c Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Fri, 28 Jun 2024 07:26:00 -0400
Subject: [PATCH] docs: Add reference

---
 .../AnomalyCancellation/SM/NoGrav/One/Lemmas.lean   |  2 +-
 docs/references.bib                                 | 13 +++++++++++++
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/HepLean/AnomalyCancellation/SM/NoGrav/One/Lemmas.lean b/HepLean/AnomalyCancellation/SM/NoGrav/One/Lemmas.lean
index 959a0b1..a14233f 100644
--- a/HepLean/AnomalyCancellation/SM/NoGrav/One/Lemmas.lean
+++ b/HepLean/AnomalyCancellation/SM/NoGrav/One/Lemmas.lean
@@ -10,7 +10,7 @@ import HepLean.AnomalyCancellation.SM.NoGrav.One.LinearParameterization
 # Lemmas for 1 family SM Accs
 
 The main result of this file is the conclusion of this paper:
-https://arxiv.org/abs/1907.00514
+  [Lohitsiri and Tong][Lohitsiri:2019fuu]
 
 That every solution to the ACCs without gravity satisfies for free the gravitational anomaly.
 -/
diff --git a/docs/references.bib b/docs/references.bib
index 848cd8f..b769d3c 100644
--- a/docs/references.bib
+++ b/docs/references.bib
@@ -4,3 +4,16 @@
 # To link to an entry in `references.bib`, use the following formats:
 #   [Author, *Title* (optional location)][bibkey]
 
+@article{Lohitsiri:2019fuu,
+    author = "Lohitsiri, Nakarin and Tong, David",
+    title = "{Hypercharge Quantisation and Fermat's Last Theorem}",
+    eprint = "1907.00514",
+    archivePrefix = "arXiv",
+    primaryClass = "hep-th",
+    doi = "10.21468/SciPostPhys.8.1.009",
+    journal = "SciPost Phys.",
+    volume = "8",
+    number = "1",
+    pages = "009",
+    year = "2020"
+}
\ No newline at end of file