OAI/Probability/InvariantIsing/Cavity/CavityProbabilityCovariance.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Gaussian covariance determines the law of the everywhere defined Gibbs probability, including its zero-partition convention.

  1. theorem OAI.InvariantIsing.cavity_gibbs_probability_same_covariance line 14