You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There are several informal lemmas and definitions related to the Standard Model (SM) gauge group within the HepLean project. These lemmas can be found in the standard model section of the dependency graph, accessible via the following link:
There are several informal lemmas and definitions related to the Standard Model (SM) gauge group within the HepLean project. These lemmas can be found in the standard model section of the dependency graph, accessible via the following link:
HepLean Dependency Graph
I would greatly appreciate any assistance in formalizing these results.
The text was updated successfully, but these errors were encountered: