theorem proved term proof

`current_observations_consistent`

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

formal statement (Lean)

 220theorem current_observations_consistent :
 221    -- w = -1.03 ± 0.03 (consistent with -1)
 222    -- Λ appears constant over cosmic time
 223    -- No fifth force detected
 224    True := trivial

proof body

Term-mode proof.

 225
 226end DarkEnergy
 227end Cosmology
 228end IndisputableMonolith

depends on (4)

Lean names referenced from this declaration's body.

consistent in IndisputableMonolith.Complexity.SAT.Backprop decl_use
fifth in IndisputableMonolith.MusicTheory.CircleOfFifths decl_use
fifth in IndisputableMonolith.MusicTheory.HarmonicModes decl_use
constant in IndisputableMonolith.Relativity.Fields.Scalar decl_use