OAI/Probability/InvariantIsing/Cavity/CavityMovingFullReplica.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Removing the energy cap in moving finite-system / cascade replica comparisons, using uniform second moments of the actual tilted energies.

  1. theorem OAI.InvariantIsing.cavity_moving_full_replica line 14