def definition def or abbrev

`t15_verified`

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

formal statement (Lean)

  97def t15_verified : T15Cert where
  98  geometric_origin := alpha_s_pred_eq_two_over_W

Definition body.

  99  matches_pdg := alpha_s_match
 100
 101end StrongForce
 102end Physics
 103end IndisputableMonolith

Lean names referenced from this declaration's body.

alpha_s_match in IndisputableMonolith.Physics.StrongForce decl_use
alpha_s_pred_eq_two_over_W in IndisputableMonolith.Physics.StrongForce decl_use
T15Cert in IndisputableMonolith.Physics.StrongForce decl_use