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-08-31 18:08:54 +02:00
parent 2f9eaed946
commit 81e6c6d68e
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
HepLean/AnomalyCancellation/SMNu/PlusU1/Basic.lean
View file

@ -10,7 +10,6 @@ import HepLean.AnomalyCancellation.GroupActions
# ACC system for SM with RHN
We define the ACC system for the Standard Model with right-handed neutrinos.
-/
universe v u