IndisputableMonolith.StandardModel.WZMassRatio

declarations in this module (24)

• def m_W L47
• def m_Z L50
• def massRatio L53
• theorem mass_ratio_value L56
• def weinbergAngle L61
• def sin2ThetaW L64
• theorem sin2_theta_w_value L67
• def hypothesis1 L78
• def hypothesis2 L85
• def hypothesis3 L92
• def hypothesis4 L99
• def hypothesis5 L106
• def hypothesis6 L114
• def bestPhiPrediction L123
• theorem mass_ratio_from_couplings L137
• def couplingRatio L145
• theorem tan_theta_w_value L151
• def sin2ThetaW_predicted L167
• theorem sin2_prediction_vs_observed L169
• def sin2ThetaW_alt L180
• def implications L190
• def predictions L203
• structure WZFalsifier L215
• def experimentalStatus L219