OAI/Probability/InvariantIsing/Magnetic/MagneticSlabEndpoint.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Endpoint decay for bounded square continuations in a varying slab.

  1. lemma OAI.InvariantIsing.magnetic_family_continuation_endpoint line 14
  2. lemma OAI.InvariantIsing.magnetic_family_weighted_endpoint line 33