theorem proved term proof

`nsRS_gt_zero`

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

formal statement (Lean)

  43theorem nsRS_gt_zero : nsRS > 0 := by

Term-mode proof.

  44  unfold nsRS gap45; norm_num
  45
  46/-- n_s_RS ∈ (0.955, 0.957). -/

Lean names referenced from this declaration's body.

nsRS in IndisputableMonolith.Cosmology.InflationSpectralIndexFromJCost decl_use