OAI/Probability/InvariantIsing/Cavity/CavityRationalMultiplicityLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Rational finite-spectrum pressure convergence with arbitrary multiplicities having the prescribed positive limiting proportions.

  1. theorem OAI.InvariantIsing.cavity_rational_multiplicity_tendsto line 16