def definition def or abbrev

`E_ref_GeV`

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

formal statement (Lean)

  41def E_ref_GeV : ℝ := 1

Definition body.

  42
  43/-- Conversion `1 GeV^-2 = 0.3894e-27 cm^2`. -/

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

row_weak_ref_cross_section_band in IndisputableMonolith.Physics.DarkMatterWeakReferenceCrossSectionScoreCard decl_use
sigma_nu_weak_ref_cm2 in IndisputableMonolith.Physics.DarkMatterWeakReferenceCrossSectionScoreCard decl_use