OAI/Probability/InvariantIsing/Magnetic/MagneticBlockL1Consistency.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The constrained block overlap converges in L1 once its physical weak tests hold along a sequence of growing blocks.

  1. theorem OAI.InvariantIsing.magnetic_block_l1_of_constrained_tests line 13