OAI/Probability/InvariantIsing/Magnetic/MagneticFiniteTemplateLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Conditional full-sequence pressure convergence for a finite spectral and external-field template.

  1. theorem OAI.InvariantIsing.finite_template_magnetic_pressure_tendsto line 13