OAI/Probability/InvariantIsing/Cavity/CavitySpectralHaarLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The fresh-Haar finite-replica limit under the base Gibbs law. The only limiting datum is its spectral overlap-array law.

  1. theorem OAI.InvariantIsing.cavity_spectral_haar_test_tendsto line 16