OAI/Probability/InvariantIsing/Cavity/CavityOriginalEntropyLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The original-model cavity field reaches the exact entropy supremum and hence the finite-spectrum variational trial value.

  1. theorem OAI.InvariantIsing.cavity_original_entropy_trial_limit line 15