No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
100theorem Omega_Lambda_positive : Omega_Lambda_RS > 0 :=
proof body
Term-mode proof.
101 omega_lambda_positive
102
103/-- **THEOREM C-010.4**: Bounds on Ω_Λ.
104
105 0 < Ω_Λ < 11/16 ≈ 0.6875
106 This is consistent with observations (Ω_Λ ≈ 0.7). -/
depends on (7)
Lean names referenced from this declaration's body.
-
consistent
in IndisputableMonolith.Complexity.SAT.Backprop
decl_use
-
Omega_Lambda_RS
in IndisputableMonolith.Cosmology.CosmologicalConstantDerivation
decl_use
-
is
in IndisputableMonolith.Foundation.OptionAEmpiricalProgram
decl_use
-
is
in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi
decl_use
-
is
in IndisputableMonolith.GameTheory.MechanismDesignFromSigma
decl_use
-
is
in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom
decl_use
-
omega_lambda_positive
in IndisputableMonolith.Unification.RegistryPredictionsProved
decl_use