structure definition def or abbrev

`SpectrumFalsifier`

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

formal statement (Lean)

 235structure SpectrumFalsifier where
 236  ns_no_phi : Prop
 237  r_contradicts : Prop
 238  large_nongaussianity : Prop
 239  falsified : ns_no_phi ∧ r_contradicts → False
 240
 241end PrimordialSpectrum
 242end Cosmology
 243end IndisputableMonolith