OAI/Probability/InvariantIsing/Magnetic/MagneticThresholdDiagonal.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_above line 13