`cabibbo_scaling_forced`

proved

show as: view math explainer →

module: IndisputableMonolith.Physics.MixingGeometry
domain: Physics
line: 92 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Physics.MixingGeometry on GitHub at line 92.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

  89/-- **THEOREM: Cabibbo Scaling Forced**
  90    The Cabibbo scaling factor is forced by the torsion overlap and the
  91    face-mediated radiative corrections. -/
  92theorem cabibbo_scaling_forced :
  93    torsion_overlap - cabibbo_radiative_correction = phi ^ (-3 : ℤ) - (3/2) * Constants.alpha := by
  94  unfold torsion_overlap cabibbo_radiative_correction
  95  ring
  96
  97end MixingGeometry
  98end Physics
  99end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.