def definition def or abbrev

`gev2_to_cm2`

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

formal statement (Lean)

  44def gev2_to_cm2 : ℝ := 0.3894e-27

Definition body.

  45
  46/-- Named weak-channel reference cross-section in 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