OAI/Probability/InvariantIsing/Cavity/CavityRootedReplicaTransport.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Countably many full cavity replicas under the rooted innovation change.

  1. lemma OAI.InvariantIsing.cavity_quadratic_regular_ae line 13
  2. lemma OAI.InvariantIsing.cavity_rooted_full_integrability line 46
  3. theorem OAI.InvariantIsing.cavity_rooted_full_replica_transport line 99