IndisputableMonolith.Gravity.QuantumChannel.BMVFalsifierBand

declarations in this module (35)

• def G_SI L101
• def hbar_SI L107
• def m1_SI L111
• def m2_SI L115
• def T_SI L119
• def r_LL_SI L132
• def r_RR_SI L137
• def r_LR_SI L142
• def r_RL_SI L147
• def phase_LL L152
• def phase_LR L156
• def phase_RL L160
• def phase_RR L164
• def deltaPhi L171
• theorem branchPhaseInvariant_eq_deltaPhi L177
• theorem deltaPhi_eq_rat L189
• theorem deltaPhi_ge_half L196
• theorem deltaPhi_le_seven_tenths L200
• theorem deltaPhi_pos L204
• theorem seven_tenths_lt_two_pi L209
• theorem deltaPhi_lt_two_pi L214
• theorem deltaPhi_not_congruent_zero L222
• theorem rs_bmv_witness_band L252
• theorem rs_bmv_geometry_entangled L268
• theorem rs_amplitude_channel_unique L310
• theorem bmv_band_entanglement L341
• theorem clean_null_refutes_rs L376
• theorem same_branch_phases_same_BMV_witness L398
• structure BMVFalsifierStatus L425
• def bmvFalsifierStatus L439
• theorem bmvFalsifierStatus_witness_band_certified L445
• theorem bmvFalsifierStatus_amplitude_channel_theorem_cited L448
• theorem bmvFalsifierStatus_falsifier_named L451
• theorem bmvFalsifierStatus_excluded_from_pillar3 L454
• theorem bmvFalsifierStatus_all L459