def definition def or abbrev

`opticalTheoremFormula`

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

formal statement (Lean)

 162def opticalTheoremFormula : String :=

proof body

Definition body.

 163  "σ_total = (4π/k) × Im[f(θ=0)]"
 164
 165/-- **THEOREM**: The optical theorem follows from probability conservation.
 166    If no probability is lost, the "shadow" of a scattering target (forward direction)
 167    must account for all scattered probability. -/

depends on (18)

Lean names referenced from this declaration's body.

all in IndisputableMonolith.Aesthetics.NarrativeGeodesic decl_use
all in IndisputableMonolith.Anthropology.KinshipGraphCohomology decl_use
of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
all in IndisputableMonolith.Engineering.AsteroidOreSpectroscopy decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
is in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
probability in IndisputableMonolith.Foundation.QuantumLedger decl_use
is in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
is in IndisputableMonolith.GameTheory.MechanismDesignFromSigma decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
is in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom decl_use
all in IndisputableMonolith.Musicology.ModalPreferenceFromPhi decl_use
probability in IndisputableMonolith.QFT.SMatrixUnitarity decl_use
probability in IndisputableMonolith.Thermodynamics.BoltzmannDistribution decl_use