OAI/Probability/InvariantIsing/Core/ReferenceInfiniteReplicas.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The finite reference replica mean as the initial coordinates of iid Gibbs replicas.

  1. lemma OAI.InvariantIsing.referenceReplicaMean_infinite line 10