OAI/Probability/InvariantIsing/Cavity/CavityPrefixOverlap.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A fixed initial remainder changes the overlap by at most twice its fraction.

  1. lemma OAI.InvariantIsing.cavity_spin_split_right_overlap_error line 10