OAI/Probability/InvariantIsing/Arrays/TensorPerturbedWardLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Both Ward equations for the actual enriched model, including its minimizing diagonal perturbations and complete monomial enumeration.

  1. theorem OAI.InvariantIsing.tensorPerturbedArrayLaw_ward_limits line 16