IndisputableMonolith.RRF.Physics.QuarkMasses

declarations in this module (25)

• def mass_top_exp L48
• def mass_bottom_exp L49
• def mass_charm_exp L50
• def mass_strange_exp L51
• def mass_down_exp L52
• def mass_up_exp L53
• def res_top L58
• def res_bottom L59
• def res_charm L60
• def res_strange L61
• def res_down L62
• def res_up L63
• def predicted_mass L66
• theorem phi_pow_575_lower L80
• theorem phi_pow_575_upper L89
• theorem res_top_eq_575 L96
• theorem top_mass_pred_bounds L102
• theorem top_mass_match L122
• lemma bottom_mass_pred_bounds L144
• theorem bottom_mass_match L181
• theorem phi_pow_neg45_lower L204
• theorem phi_pow_neg45_upper L211
• theorem res_charm_eq_neg45 L217
• theorem charm_mass_pred_bounds L222
• theorem charm_mass_match L242