`darkMatterWeakReferenceCrossSectionScoreCardCert_holds`

proved

show as: view math explainer →

module: IndisputableMonolith.Physics.DarkMatterWeakReferenceCrossSectionScoreCard
domain: Physics
line: 84 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Physics.DarkMatterWeakReferenceCrossSectionScoreCard on GitHub at line 84.

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

  81  sigma_ratio_band :
  82    0.11 < sigma_DM_over_sigma_nu_RS ∧ sigma_DM_over_sigma_nu_RS < 0.13
  83
  84theorem darkMatterWeakReferenceCrossSectionScoreCardCert_holds :
  85    Nonempty DarkMatterWeakReferenceCrossSectionScoreCardCert :=
  86  ⟨{ weak_ref_band := row_weak_ref_cross_section_band
  87     sigma_dm_band := row_sigma_DM_weak_ref_band
  88     fermi_bracket := row_fermi_pred_bracket
  89     sigma_ratio_band := row_sigma_ratio_band }⟩
  90
  91end
  92
  93end IndisputableMonolith.Physics.DarkMatterWeakReferenceCrossSectionScoreCard

papers checked against this theorem

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