IndisputableMonolith.Cosmology.CosmologicalConstant

declarations in this module (20)

• def lambda_observed L43
• def rho_lambda_observed L46
• def dark_energy_scale_eV L49
• theorem cosmological_constant_problem L61
• def hypothesis1 L72
• def t_universe L82
• def hypothesis2 L84
• def lambda_exponent L94
• def hypothesis3 L96
• def vacuumJCost L105
• theorem jcost_cancellation L119
• def phiLadderSum L130
• def darkEnergyDensity L139
• def equationOfState L146
• theorem dark_energy_w L148
• theorem coincidence_from_phi_ladder L161
• def implications L175
• def observationalStatus L193
• def alternativeTheories L211
• structure LambdaFalsifier L226