IndisputableMonolith.Verification.MassComparison

declarations in this module (42)

• def m_e_exp L49
• def m_e_exp_sigma L50
• def m_mu_exp L53
• def m_mu_exp_sigma L54
• def m_tau_exp L57
• def m_tau_exp_sigma L58
• def m_u_exp L61
• def m_u_exp_sigma L62
• def m_d_exp L65
• def m_d_exp_sigma L66
• def m_s_exp L69
• def m_s_exp_sigma L70
• def m_c_exp L73
• def m_c_exp_sigma L74
• def m_b_exp L77
• def m_b_exp_sigma L78
• def m_t_exp L81
• def m_t_exp_sigma L82
• def m_W_exp L85
• def m_W_exp_sigma L86
• def m_Z_exp L89
• def m_Z_exp_sigma L90
• def m_H_exp L93
• def m_H_exp_sigma L94
• theorem lepton_params_derived L101
• theorem upquark_params_derived L107
• theorem downquark_params_derived L113
• theorem generation_torsion_derived L120
• theorem lepton_rungs_derived L124
• def rs_mass_MeV L132
• def ratio_mu_e_RS L139
• theorem ratio_mu_e_RS_eq L143
• def ratio_tau_e_RS L152
• theorem ratio_tau_e_RS_eq L156
• def ratio_mu_e_exp L162
• def ratio_tau_e_exp L165
• theorem phi_pow_11_approx L173
• theorem phi_pow_17_approx L230
• theorem ratio_mu_e_exp_value L320
• theorem ratio_tau_e_exp_value L325
• theorem raw_prediction_discrepancy L342
• def mass_summary L358