theorem proved term proof

`background_is_stable`

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

formal statement (Lean)

  46theorem background_is_stable (H f δ : ℝ) : no_background_modification H f δ :=

Term-mode proof.

  47  buchert_cancellation H f δ
  48
  49end Cosmology
  50end Relativity
  51end IndisputableMonolith

Lean names referenced from this declaration's body.

H in IndisputableMonolith.Algebra.CostAlgebra decl_use
H in IndisputableMonolith.Cost.FunctionalEquation decl_use
buchert_cancellation in IndisputableMonolith.Relativity.Cosmology.Buchert decl_use
no_background_modification in IndisputableMonolith.Relativity.Cosmology.Buchert decl_use