OAI/Probability/InvariantIsing/Magnetic/MagneticTemplateLower.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A single rational spectral/field template supplies the growing attainable blocks in the physical magnetic pressure lower bound.

  1. theorem OAI.InvariantIsing.magnetic_template_pressure_lower line 13