theorem proved term proof

`substrate_predicts_null`

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

formal statement (Lean)

  85theorem substrate_predicts_null : substrate_model = true := rfl

Term-mode proof.

  86
  87/-- **THEOREM EA-005.4**: XENON/LUX null results support substrate.
  88    Consistent with RS dark matter model. -/

From the project-wide theorem graph. These declarations reference this one in their body.

ea005_certificate in IndisputableMonolith.Experimental.DAMAModulation decl_use
no_wimp_expected in IndisputableMonolith.Experimental.DAMAModulation decl_use

Lean names referenced from this declaration's body.

model in IndisputableMonolith.ClassicalBridge.Fluids.CPM2D decl_use
substrate_model in IndisputableMonolith.Experimental.DAMAModulation decl_use