OAI/Probability/InvariantIsing/Arrays/TensorGrowingWard.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Off-diagonal Ward equations with growing cascade depth. The finite rotation and Gaussian error bound is independent of that depth.

  1. theorem OAI.InvariantIsing.tensorGrowingArrayLaw_off_ward_limit line 15