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

doc

Browse source
This commit is contained in:
jstoobysmith 2024-06-26 09:10:56 -04:00
parent 4529ccef7d
commit 524fccc484
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
HepLean.lean
View file

@ -73,6 +73,7 @@ import HepLean.SpaceTime.LorentzGroup.Proper
import HepLean.SpaceTime.LorentzGroup.Rotations import HepLean.SpaceTime.LorentzGroup.Rotations
import HepLean.SpaceTime.Metric import HepLean.SpaceTime.Metric
import HepLean.SpaceTime.SL2C.Basic import HepLean.SpaceTime.SL2C.Basic
import HepLean.StandardModel.HiggsBoson.TargetSpace import HepLean.StandardModel.Basic
import HepLean.StandardModel.HiggsBoson.Basic import HepLean.StandardModel.HiggsBoson.Basic
import HepLean.StandardModel.HiggsBoson.TargetSpace
import HepLean.StandardModel.Representations import HepLean.StandardModel.Representations

2
doc/index.markdown
View file

@ -58,5 +58,5 @@ Any area not appearing in the below table has zero coverage in HepLean.
| [Feynman diagrams](https://heplean.github.io/HepLean/docs/HepLean/FeynmanDiagrams/Basic.html) | ✔️ | ✘ | ✘ | | | [Feynman diagrams](https://heplean.github.io/HepLean/docs/HepLean/FeynmanDiagrams/Basic.html) | ✔️ | ✘ | ✘ | |
| [Lorentz Group](https://heplean.github.io/HepLean/docs/HepLean/SpaceTime/LorentzGroup/Basic.html) | ✔️ | ✘ | ✘ | New lemmas etc.| | [Lorentz Group](https://heplean.github.io/HepLean/docs/HepLean/SpaceTime/LorentzGroup/Basic.html) | ✔️ | ✘ | ✘ | New lemmas etc.|
| [2HDM](https://heplean.github.io/HepLean/docs/HepLean/SpaceTime/LorentzGroup/Basic.html) | ✔️ | ✘ | ✘ | New lemmas etc. | | [2HDM](https://heplean.github.io/HepLean/docs/HepLean/SpaceTime/LorentzGroup/Basic.html) | ✔️ | ✘ | ✘ | New lemmas etc. |
| All other areas | ✘ | ✘ | ✘ | New lemmas etc.|