IndisputableMonolith.Gravity.CoherenceCollapse

declarations in this module (17)

• def Jcost L30
• theorem Jcost_nonneg L33
• def rate_action L43
• theorem rate_action_pos L46
• def recognition_action L66
• theorem C_equals_2A L68
• def born_weight L80
• theorem born_weight_pos L83
• theorem born_weight_is_sin_sq L87
• theorem born_normalization L100
• def m_coh_kg L113
• def tau_coh_s L115
• theorem m_coh_positive L117
• theorem m_coh_nanogram_range L121
• def post_orthogonality_plateau L129
• structure CoherenceCollapseCert L135
• theorem coherence_collapse_cert L141