`experimentalStatus`

definition

show as: view math explainer →

module: IndisputableMonolith.Physics.ThreeGenerations
domain: Physics
line: 209 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Physics.ThreeGenerations on GitHub at line 209.

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

 206  status : String
 207
 208/-- Current experimental status strongly supports 3 generations. -/
 209def experimentalStatus : List GenerationFalsifier := [
 210  ⟨"4th generation search", "Ruled out for SM-like particles"⟩,
 211  ⟨"Z-width measurement", "N_ν = 2.984 ± 0.008 ≈ 3"⟩,
 212  ⟨"Cosmological bounds", "N_eff ≈ 3 from BBN and CMB"⟩
 213]
 214
 215end ThreeGenerations
 216end Physics
 217end IndisputableMonolith

papers checked against this theorem

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