OAI/Probability/InvariantIsing/Magnetic/MagneticFieldSubsequenceLower.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_field_subsequence_lower line 13