`coherence_collapse_cert`

proved

show as: view math explainer →

module: IndisputableMonolith.Gravity.CoherenceCollapse
domain: Gravity
line: 141 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Gravity.CoherenceCollapse on GitHub at line 141.

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

formal source

 138  normalization : ∀ θ, Real.sin θ ^ 2 + Real.cos θ ^ 2 = 1
 139  threshold_nanogram : m_coh_kg < 1e-9
 140
 141theorem coherence_collapse_cert : CoherenceCollapseCert where
 142  C_is_2A := C_equals_2A
 143  born_positive := born_weight_pos
 144  normalization := born_normalization
 145  threshold_nanogram := by unfold m_coh_kg; norm_num
 146
 147end
 148
 149end CoherenceCollapseBridge
 150end Gravity
 151end IndisputableMonolith

papers checked against this theorem

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