IndisputableMonolith.StandardModel.ElectroweakBreaking

declarations in this module (25)

• def higgsPotential L51
• def vev L55
• def vev_observed L59
• def higgsMass L62
• def higgsMass_observed L66
• def wBosonMass L73
• def zBosonMass L78
• def wZRatio L83
• def mW_observed L89
• def mZ_observed L90
• def jcostHiggs L101
• theorem vev_minimizes_jcost L109
• theorem symmetry_breaking_from_jcost L125
• theorem vev_higgs_ratio L138
• theorem vev_higgs_ratio_not_one L146
• theorem hierarchy_problem L162
• theorem rs_hierarchy L179
• def goldstoneBosons L196
• theorem photon_massless L203
• theorem observed_wz_mass_hierarchy L208
• def higgsDiscovery L225
• def higgsFermionCoupling L235
• def higgsGaugeCoupling L236
• def summary L248
• structure ElectroweakBreakingFalsifier L262