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

Merge pull request #69 from HEPLean/Update-versions

Browse source 
Docs: Add reference file
This commit is contained in:
Joseph Tooby-Smith 2024-06-28 07:54:19 -04:00 • committed by GitHub
commit 0116994a58
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
15 changed files with 42 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
HepLean/AnomalyCancellation/MSSMNu/B3.lean
View file

@ -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]
-/

3
HepLean/AnomalyCancellation/MSSMNu/LineY3B3.lean
View file

@ -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]
-/

2
HepLean/AnomalyCancellation/SM/NoGrav/One/Lemmas.lean
View file

@ -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.
-/