OAI/Probability/InvariantIsing/Pressure/RandomGroundLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A zero-temperature limit from fixed-temperature random pressures.

  1. theorem OAI.InvariantIsing.random_ground_limit line 11