OAI/Probability/InvariantIsing/Magnetic/RestrictedTerminalIntegrability.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual ordinary and constrained field terminals have integrable Gibbs weights.

  1. theorem OAI.InvariantIsing.restrictedTerminal_exp_integrable_ae line 13