OAI/Probability/InvariantIsing/Cavity/CavityOriginalFullSpin.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The scalar-field spin test for the full physical overlap, before any spatial restriction and averaged over every original disorder.

  1. theorem OAI.InvariantIsing.cavity_original_spin_limit line 15