IndisputableMonolith.Physics.CKMGeometry

declarations in this module (20)

• def V_us_exp L48
• def V_us_err L49
• def V_cb_exp L51
• def V_cb_err L52
• def V_ub_exp L54
• def V_ub_err L55
• def V_ub_pred L60
• def V_cb_geom L63
• def V_cb_pred L66
• def V_us_pred L69
• theorem V_cb_from_cube_edges L74
• theorem V_cb_match L89
• theorem alpha_lower_bound L97
• theorem alpha_upper_bound L111
• theorem V_ub_match L134
• theorem phi_inv3_lower_bound L150
• theorem phi_inv3_upper_bound L153
• theorem V_us_match L165
• structure T11Cert L187
• def t11_V_cb_verified L194