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

Update Lemmas.lean

Browse source
This commit is contained in:
Pietro Monticone 2024-05-21 14:12:55 +02:00
parent 4528d22dc6
commit e29a94d390
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -12,7 +12,7 @@ import HepLean.AnomalyCancellation.SM.NoGrav.One.LinearParameterization
The main result of this file is the conclusion of this paper: The main result of this file is the conclusion of this paper:
https://arxiv.org/abs/1907.00514 https://arxiv.org/abs/1907.00514
That eveery solution to the ACCs without gravity satisfies for free the gravitational anomaly. That every solution to the ACCs without gravity satisfies for free the gravitational anomaly.
-/ -/
universe v u universe v u