theorem proved term proof

`beta_running_derived`

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

formal statement (Lean)

  24theorem beta_running_derived :
  25    beta_running = -(phi - 1) / (phi ^ 5) := by

proof body

Term-mode proof.

  26  unfold beta_running
  27  rfl
  28
  29/-- **THEOREM: Nanoscale Strengthening Scaling**
  30    The effective gravitational constant $G_{eff}$ strengthens as $r \to 0$
  31    with the forced exponent $\beta$. -/

depends on (5)

Lean names referenced from this declaration's body.

as in IndisputableMonolith.Foundation.SimplicialLedger.ContinuumBridge decl_use
beta_running in IndisputableMonolith.Gravity.RunningG decl_use
constant in IndisputableMonolith.Relativity.Fields.Scalar decl_use
beta in IndisputableMonolith.Relativity.ILG.PPN decl_use
beta in IndisputableMonolith.Thermodynamics.PartitionFunction decl_use