IndisputableMonolith.Physics.QuarkMasses

declarations in this module (19)

• def mass_top_exp L54
• def mass_bottom_exp L55
• def mass_charm_exp L56
• def mass_strange_exp L57
• def mass_down_exp L58
• def mass_up_exp L59
• def res_top L64
• def res_bottom L65
• def res_charm L66
• def res_strange L67
• def res_down L68
• def res_up L69
• theorem residues_match_steps L73
• def predicted_mass L91
• def H_top_mass_match L94
• def H_bottom_mass_match L97
• def H_charm_mass_match L100
• structure QuarkMassCert L104
• theorem quark_mass_verified L109