`ckmElementScoreCardCert_holds`

proved

show as: view math explainer →

module: IndisputableMonolith.Physics.CKMElementScoreCard
domain: Physics
line: 54 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Physics.CKMElementScoreCard on GitHub at line 54.

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

  51  vcb_geo : V_cb_pred = edge_dual_ratio
  52  vub_geo : V_ub_pred = fine_structure_leakage
  53
  54theorem ckmElementScoreCardCert_holds : Nonempty CKMElementScoreCardCert :=
  55  ⟨{ vus := row_V_us
  56     vcb := row_V_cb
  57     vub := row_V_ub
  58     vus_geo := row_vus_eq_geometry
  59     vcb_geo := row_vcb_eq_geometry
  60     vub_geo := row_vub_eq_leakage }⟩
  61
  62end
  63
  64end IndisputableMonolith.Physics.CKMElementScoreCard

papers checked against this theorem

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