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

Update HyperCharge.lean

Browse source
This commit is contained in:
Pietro Monticone 2024-05-20 00:19:18 +02:00
parent 718b1049d1
commit 1e0a0487a0
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -8,7 +8,7 @@ import Mathlib.Tactic.Polyrith
/-!
# Hypercharge in MSSM.
Relavent definitions for the MSSM hypercharge.
Relevant definitions for the MSSM hypercharge.
-/