def definition def or abbrev

`dama_systematic`

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

formal statement (Lean)

  97def dama_systematic : Bool := true

Definition body.

  98
  99/-- Temperature coefficient for NaI(Tl).
 100    Annual temp variation → efficiency modulation -/

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

dama_not_dark_matter_in_rs in IndisputableMonolith.Experimental.DAMAModulation decl_use

Lean names referenced from this declaration's body.

for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use