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

Update Basic.lean

Browse source
This commit is contained in:
Pietro Monticone 2024-05-21 14:10:53 +02:00
parent 85f7800ef2
commit d7eb122dd9
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
HepLean/AnomalyCancellation/PureU1/Basic.lean
View file

@ -10,7 +10,7 @@ import Mathlib.Algebra.BigOperators.Fin
/-! /-!
# Pure U(1) ACC system. # Pure U(1) ACC system.
We define the anomaly cancellation conditions for a pure U(1) gague theory with `n` fermions. We define the anomaly cancellation conditions for a pure U(1) gauge theory with `n` fermions.
-/ -/
universe v u universe v u