IndisputableMonolith.StandardModel.CKMMatrix

declarations in this module (40)

• def cabibboAngle L46
• theorem cabibbo_value L49
• def wolfenstein_lambda L54
• def wolfenstein_A L57
• def wolfenstein_rho L60
• def wolfenstein_eta L63
• def V_ud L73
• def V_us L74
• def V_ub L75
• def V_cd L77
• def V_cs L78
• def V_cb L79
• def V_td L80
• def V_ts L82
• def V_tb L83
• def hypothesis1 L92
• def hypothesis2 L99
• def hypothesis3 L106
• def hypothesis4 L113
• def hypothesis5 L120
• def hypothesis6 L127
• def bestCabibboFit L136
• structure GenerationPhases L148
• def mixingAngle L154
• theorem gen12_mixing_largest L158
• def jarlskogInvariant L173
• theorem cp_violation_small L176
• def unitarityAngle_alpha L191
• def unitarityAngle_beta L192
• def unitarityAngle_gamma L193
• theorem triangle_sum L196
• def predictions L211
• def J_CP_obs L232
• theorem eta_bar_pos L236
• theorem rho_bar_pos L240
• theorem eta_bar_interval L245
• theorem rho_bar_interval L250
• theorem unitarity_triangle_valid L254
• def experimentalValues L275
• structure CKMFalsifier L288