theorem proved term proof

`scale_at_two`

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

formal statement (Lean)

  90theorem scale_at_two : phiLadderScale 2 = phi^2 := by

Term-mode proof.

  91  unfold phiLadderScale
  92  norm_cast
  93
  94/-- **THEOREM**: φ-ladder gives exponential hierarchy (φ^n > 1 for n > 0). -/

Lean names referenced from this declaration's body.

for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
phiLadderScale in IndisputableMonolith.QFT.RunningCouplings decl_use