OAI/MathematicalPhysics/Heisenberg/SurfaceTail.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.Surface.pinned_sum_le_trace line 13
2. def OAI.Heisenberg.Surface.colorTail line 21
3. lemma OAI.Heisenberg.Surface.normalized_pinned_tail line 25
4. theorem OAI.Heisenberg.Surface.color_surface_tail line 36