OAI/Probability/InvariantIsing/Spectral/SpectralContactContradiction.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The strict temperature tilt contradicts the energy order obtained from contact tails. The energy sequence is the actual interaction observable when this lemma is applied to contact minima.

  1. lemma OAI.InvariantIsing.spectralContact_contradiction line 15