IndisputableMonolith.Physics.WeakForceEmergence

declarations in this module (28)

• def fermiConstant L53
• def hbar_c_GeV_fm L56
• def weakRange_fm L59
• def su2Generators L64
• def weakBosonCount L67
• theorem su2_from_3d L70
• theorem weak_bosons_eq_generators L73
• def leftHandedCouples L78
• def rightHandedCouples L81
• theorem parity_violation L84
• def leptonDoublet L90
• def quarkDoublet L93
• def doubletsPerGeneration L96
• def totalDoublets L99
• theorem weak_range_short L104
• def gf_from_mw L110
• theorem gf_matches L116
• def totalWeakPolarizations L202
• theorem weak_polarizations_near_8 L204
• theorem nine_eq_8_plus_1 L207
• def weakIsospin L210
• theorem doublet_from_isospin L213
• def betaDecayViaW L218
• def muonDecayViaW L221
• theorem charged_current_uses_W L224
• def ckmDimension L230
• def ckmParameters L233
• theorem ckm_params_3_plus_1 L236