pith. machine review for the scientific record. sign in
theorem proved term proof

dama_likely_systematic

show as:
view Lean formalization →

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

generate prose now

formal statement (Lean)

 120theorem dama_likely_systematic : temperature_coefficient > 0 := by

proof body

Term-mode proof.

 121  unfold temperature_coefficient
 122  norm_num
 123
 124/-! ## IV. Comparison with Other Experiments -/
 125
 126/-- **THEOREM EA-005.8**: COSINE-100 confirms tension with DAMA.
 127    Same NaI(Tl) target, different result. -/

used by (1)

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

depends on (1)

Lean names referenced from this declaration's body.