OAI/Probability/InvariantIsing/Magnetic/RestrictedCanonicalLogLimit.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.restricted_canonical_capped_log_limit line 15