Documentation Verification Report

Basic

šŸ“ Source: PhysLean/Particles/BeyondTheStandardModel/PatiSalam/Basic.lean

Statistics

MetricCount
DefinitionsGaugeGroupI, GaugeGroupā„¤ā‚‚, embedSMā„¤ā‚ƒ, embedSMā„¤ā‚†Toā„¤ā‚‚, gaugeGroupISpinEquiv, gaugeGroupā„¤ā‚‚SubGroup, inclSM, inclSM_ker, sm_ā„¤ā‚†_factor_through_gaugeGroupā„¤ā‚‚SubGroup
9
Theorems0
Total9

PatiSalam

Definitions

NameCategoryTheorems
GaugeGroupI šŸ“–CompOpā€”
GaugeGroupā„¤ā‚‚ šŸ“–CompOpā€”
embedSMā„¤ā‚ƒ šŸ“–CompOpā€”
embedSMā„¤ā‚†Toā„¤ā‚‚ šŸ“–CompOpā€”
gaugeGroupISpinEquiv šŸ“–CompOpā€”
gaugeGroupā„¤ā‚‚SubGroup šŸ“–CompOpā€”
inclSM šŸ“–CompOpā€”
inclSM_ker šŸ“–CompOpā€”
sm_ā„¤ā‚†_factor_through_gaugeGroupā„¤ā‚‚SubGroup šŸ“–CompOpā€”

---

ā† Back to Index