structure definition def or abbrev

`DarkMatterAbsoluteCrossSectionScoreCardCert`

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

formal statement (Lean)

  52structure DarkMatterAbsoluteCrossSectionScoreCardCert where
  53  sigma_nu_ref_pos : 0 < sigma_nu_reference_cm2
  54  sigma_ratio_band :
  55    0.11 < sigma_DM_over_sigma_nu_RS ∧ sigma_DM_over_sigma_nu_RS < 0.13
  56  sigma_absolute_band : 1.1e-39 < sigma_DM_cm2 ∧ sigma_DM_cm2 < 1.3e-39
  57

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

darkMatterAbsoluteCrossSectionScoreCardCert_holds in IndisputableMonolith.Physics.DarkMatterAbsoluteCrossSectionScoreCard decl_use

depends on (3)

Lean names referenced from this declaration's body.

sigma_DM_cm2 in IndisputableMonolith.Physics.DarkMatterAbsoluteCrossSectionScoreCard decl_use
sigma_nu_reference_cm2 in IndisputableMonolith.Physics.DarkMatterAbsoluteCrossSectionScoreCard decl_use
sigma_DM_over_sigma_nu_RS in IndisputableMonolith.Physics.DarkMatterCrossSectionBandScoreCard decl_use