`superposition_justified`

proved

show as: view math explainer →

module: IndisputableMonolith.Gravity.WeakFieldSuperposition
domain: Gravity
line: 123 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Gravity.WeakFieldSuperposition on GitHub at line 123.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

used by

formal source

 120      (deriv pair.field_grav.phi obj.h_cm + deriv pair.field_ext.phi obj.h_cm + a))
 121
 122/-- The weak-field superposition principle is proved from RS first principles. -/
 123theorem superposition_justified : SuperpositionJustification where
 124  quadratic_regime := Jcost_one_plus_exact
 125  gradient_additivity := gradient_superposition
 126  coherence_defect_additivity := coherence_defect_of_combined
 127
 128end IndisputableMonolith.Gravity.WeakFieldSuperposition

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.