OAI/Probability/InvariantIsing/Cavity/CavityCountableTest.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Covariance comparison of bounded Gibbs tests on a countable prior, proved by finite leaf exhaustion. The estimate is uniform in the cutoff.

  1. theorem OAI.InvariantIsing.cavity_countable_test_comparison line 15