unitarityAngle_gamma
plain-language theorem explainer
The definition assigns the numerical value 73 degrees to the gamma angle of the CKM unitarity triangle. Researchers deriving quark mixing angles from Recognition Science would cite this constant when verifying triangle closure in the Standard Model. It is realized as a direct constant definition with no computation.
Claim. The angle $γ$ in the CKM unitarity triangle is defined as $73^∘$.
background
The module introduces the CKM matrix as a 3×3 unitary matrix with four physical parameters that encodes quark flavor mixing in weak interactions and supplies the source of CP violation. Recognition Science obtains its elements from φ-quantized mixing angles linked to the eight-tick phase structure. The module targets a PRD paper deriving the CKM matrix from golden-ratio geometry, with approximate element magnitudes listed for reference.
proof idea
The declaration is a one-line definition that directly assigns the constant 73 to the real number representing the angle gamma in degrees.
why it matters
This definition supplies the concrete value of gamma consumed by the downstream theorem triangle_sum, which proves the three unitarity angles sum to 180° by unfolding the three angle definitions and applying norm_num. It supplies a numerical input required for the CKM derivation from φ-angles inside the eight-tick octave (T7) of the Recognition Science framework and supports the module's target proposition on CKM matrix elements from golden-ratio geometry.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.