OAI/Probability/InvariantIsing/Magnetic/MagneticAffineFieldLower.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The magnetic variational lower bound contributes to the full physical pressure along a sequence of repeated finite field blocks.

  1. theorem OAI.InvariantIsing.magnetic_affine_field_subsequence_lower line 13