structure definition def or abbrev

`InflationPredictions`

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

formal statement (Lean)

 195structure InflationPredictions where
 196  n_s : ℝ  -- Scalar spectral index
 197  r : ℝ    -- Tensor-to-scalar ratio
 198  f_NL : ℝ -- Non-Gaussianity parameter
 199
 200/-- RS predictions for N = 60 e-foldings. -/

used by (1)

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

rsPredictions in IndisputableMonolith.Cosmology.Inflation decl_use

depends on (2)

Lean names referenced from this declaration's body.

for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
Tensor in IndisputableMonolith.Relativity.Geometry.Tensor decl_use