def definition def or abbrev

`sigma_nu_reference_cm2`

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

formal statement (Lean)

  35def sigma_nu_reference_cm2 : ℝ := 1e-38

Definition body.

  36
  37/-- Absolute dark-matter cross-section prediction in cm^2. -/

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

DarkMatterAbsoluteCrossSectionScoreCardCert in IndisputableMonolith.Physics.DarkMatterAbsoluteCrossSectionScoreCard decl_use
row_sigma_DM_cm2_band in IndisputableMonolith.Physics.DarkMatterAbsoluteCrossSectionScoreCard decl_use
row_sigma_nu_reference_pos in IndisputableMonolith.Physics.DarkMatterAbsoluteCrossSectionScoreCard decl_use
sigma_DM_cm2 in IndisputableMonolith.Physics.DarkMatterAbsoluteCrossSectionScoreCard decl_use