`experimentalStatus`

definition

show as: view math explainer →

module: IndisputableMonolith.Cosmology.MatterAntimatter
domain: Cosmology
line: 310 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Cosmology.MatterAntimatter on GitHub at line 310.

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

 307  status : String
 308
 309/-- Current status. -/
 310def experimentalStatus : List EtaFalsifier := [
 311  ⟨"η measurement", "Precisely known: (6.10 ± 0.04) × 10⁻¹⁰"⟩,
 312  ⟨"CP violation", "Observed in K, B, D mesons"⟩,
 313  ⟨"φ connection", "φ^(-47) gives right order of magnitude"⟩
 314]
 315
 316end MatterAntimatter
 317end Cosmology
 318end IndisputableMonolith

papers checked against this theorem

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