def definition def or abbrev

`low_coherence_dm_poor`

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

formal statement (Lean)

 112def low_coherence_dm_poor : Bool := true

Definition body.

 113
 114/-- **THEOREM EA-011.4**: Substrate coherence varies spatially.
 115    Natural in RS ledger structure. -/

Lean names referenced from this declaration's body.

Substrate in IndisputableMonolith.Relativity.ILG.Substrate decl_use
Substrate in IndisputableMonolith.Theology.SubstrateIndependentMonotheism decl_use