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-06-08 01:50:39 +02:00
parent 5c6a8b7a10
commit c608d8c289
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
HepLean/BeyondTheStandardModel/TwoHDM/Basic.lean
View file

@ -10,7 +10,7 @@ import HepLean.StandardModel.HiggsBoson.Basic
The two Higgs doublet model is the standard model plus an additional Higgs doublet.
Currently this file contains the definition of the 2HDM optential.
Currently this file contains the definition of the 2HDM potential.
-/