OAI/Probability/InvariantIsing/Cavity/CavityCanonicalLogLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The spectral/GG logarithmic limit in the canonical coordinates of the physical pressure increment.

  1. theorem OAI.InvariantIsing.cavity_canonical_capped_log_limit line 15