`background_is_stable`

proved

show as: view math explainer →

module: IndisputableMonolith.Relativity.Cosmology.Buchert
domain: Relativity
line: 46 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Relativity.Cosmology.Buchert on GitHub at line 46.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

  43def no_background_modification (H f δ : ℝ) : Prop :=
  44  localBackreaction (-H * f * δ) ((1/3 : ℝ) * (H * f * δ)^2) = 0
  45
  46theorem background_is_stable (H f δ : ℝ) : no_background_modification H f δ :=
  47  buchert_cancellation H f δ
  48
  49end Cosmology
  50end Relativity
  51end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.