def definition def or abbrev

`experimentalStatus`

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

formal statement (Lean)

 225def experimentalStatus : List InflationFalsifier := [

proof body

Definition body.

 226  ⟨"Spectral index", "n_s = 0.965 ± 0.004 matches prediction"⟩,
 227  ⟨"Tensor modes", "r < 0.06, consistent with small r prediction"⟩,
 228  ⟨"Non-Gaussianity", "f_NL consistent with zero"⟩
 229]
 230
 231end Inflation
 232end Cosmology
 233end IndisputableMonolith

depends on (4)

Lean names referenced from this declaration's body.

modes in IndisputableMonolith.ClassicalBridge.Fluids.Galerkin2D decl_use
consistent in IndisputableMonolith.Complexity.SAT.Backprop decl_use
InflationFalsifier in IndisputableMonolith.Cosmology.Inflation decl_use
Tensor in IndisputableMonolith.Relativity.Geometry.Tensor decl_use