IndisputableMonolith.Experimental.DAMAModulation

declarations in this module (21)

• def dama_modulation_amplitude L55
• def dama_significance L59
• def xenon_sensitivity L63
• theorem dama_significance_high L67
• theorem xenon_more_sensitive L73
• def substrate_model L81
• theorem substrate_predicts_null L85
• theorem null_supports_substrate L89
• def dama_systematic L97
• def temperature_coefficient L101
• def annual_temp_variation L105
• theorem temperature_can_explain L109
• theorem radon_variation L116
• theorem dama_likely_systematic L120
• theorem cosine_confirms_tension L128
• theorem multiple_nulls_disfavor_wimp L132
• theorem dama_stands_alone L136
• theorem no_wimp_expected L142
• theorem nulls_support_rs L146
• theorem dama_not_dark_matter_in_rs L151
• def ea005_certificate L172