OAI/Probability/InvariantIsing/Cavity/CavityOriginalSelfConsistency.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Cavity self-consistency for the actual original-model spin law, conditional on the published inputs and the proved geometric/GG limit data.

  1. theorem OAI.InvariantIsing.cavity_original_scalar_self_consistency line 16