theorem proved term proof

`cabibbo_scaling_forced`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  92theorem cabibbo_scaling_forced :
  93    torsion_overlap - cabibbo_radiative_correction = phi ^ (-3 : ℤ) - (3/2) * Constants.alpha := by

Term-mode proof.

  94  unfold torsion_overlap cabibbo_radiative_correction
  95  ring
  96
  97end MixingGeometry
  98end Physics
  99end IndisputableMonolith

Lean names referenced from this declaration's body.

alpha in IndisputableMonolith.Constants.Alpha decl_use
Constants in IndisputableMonolith.CPM.LawOfExistence decl_use
cabibbo_radiative_correction in IndisputableMonolith.Physics.MixingGeometry decl_use
torsion_overlap in IndisputableMonolith.Physics.MixingGeometry decl_use