OAI/Probability/InvariantIsing/Magnetic/MagneticDiagonalSelection.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Selection of one increasing finite-depth diagonal and one compact quantile subsequence for growing attainable constrained blocks.

  1. theorem OAI.InvariantIsing.exists_magnetic_consistent_diagonal line 13