theorem proved term proof

`rg_derivation_of_central_potentials`

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

formal statement (Lean)

 267theorem rg_derivation_of_central_potentials (_h : CentralPotentialDerivationHypothesis) : True := trivial

proof body

Term-mode proof.

 268
 269/-- Placeholder for the paper proposition ``Robustness of D=3 Signature''.
 270
 271Status: not yet formalized (perturbation theory / IFT / continuity). -/

depends on (8)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
Status in IndisputableMonolith.Measurement.RSNative.Core decl_use
CentralPotentialDerivationHypothesis in IndisputableMonolith.Papers.DraftV1 decl_use