OAI/Probability/InvariantIsing/Cavity/CavityFiniteSpinTest.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The full quadratic cavity spin test for a finite spectral law and overlap quantile, with matrix and scalar covariances determined by the spectral data.

  1. theorem OAI.InvariantIsing.cavity_finite_spin_test line 16