pith. machine review for the scientific record. sign in
def

t15_verified

definition
show as:
view math explainer →
module
IndisputableMonolith.Physics.StrongForce
domain
Physics
line
97 · github
papers citing
none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Physics.StrongForce on GitHub at line 97.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

  94  matches_pdg : abs (alpha_s_pred - alpha_s_exp) < alpha_s_err
  95
  96/-- The T15 certificate is verified. -/
  97def t15_verified : T15Cert where
  98  geometric_origin := alpha_s_pred_eq_two_over_W
  99  matches_pdg := alpha_s_match
 100
 101end StrongForce
 102end Physics
 103end IndisputableMonolith

papers checked against this theorem

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