OAI/Probability/InvariantIsing/Cavity/CavityMovingFullReplicaFirst.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 first absolute moments of the actual tilted energies.

  1. theorem OAI.InvariantIsing.cavity_moving_full_replica_first line 14