docs: Add another reference

HepLean/AnomalyCancellation/MSSMNu/B3.lean

@@ -13,7 +13,7 @@ We define `B₃` and show that it is a double point of the cubic.
 
 The main reference for the material in this file is:
 
-- https://arxiv.org/pdf/2107.07926.pdf
+[Allanach, Madigan and Tooby-Smith][Allanach:2021yjy]
 
 -/
 

HepLean/AnomalyCancellation/MSSMNu/LineY3B3.lean

@@ -17,8 +17,7 @@ is a solution to the quadratic  `lineY₃B₃Charges_quad` and a double point of
 # References
 
 The main reference for the material in this file is:
-
-- https://arxiv.org/pdf/2107.07926.pdf
+[Allanach, Madigan and Tooby-Smith][Allanach:2021yjy]
 
 -/
 

docs/references.bib

@@ -1,9 +1,25 @@
-
 # To normalize:
 # bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i docs/references.bib -o docs/references.bib
 
+# When possible, please use the reference obtained from InspireHep. 
+
 # To link to an entry in `references.bib`, use the following formats:
 #   [Author, *Title* (optional location)][bibkey]
+
+@Article{         Allanach:2021yjy,
+  author        = "Allanach, B. C. and Madigan, Maeve and Tooby-Smith,
+                  Joseph",
+  title         = "{A \ensuremath{\nu} supersymmetric anomaly-free atlas}",
+  eprint        = "2107.07926",
+  archiveprefix = "arXiv",
+  primaryclass  = "hep-ph",
+  doi           = "10.1007/JHEP02(2022)144",
+  journal       = "JHEP",
+  volume        = "02",
+  pages         = "144",
+  year          = "2022"
+}
+
 @Article{         Lohitsiri:2019fuu,
   author        = "Lohitsiri, Nakarin and Tong, David",
   title         = "{Hypercharge Quantisation and Fermat's Last Theorem}",