OAI/Probability/LatticeSurface/Coercivity/GridClosedLabels.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.GridClosedLabels.potential line 11
2. lemma OAI.GridClosedLabels.potential_vertical line 14
3. lemma OAI.GridClosedLabels.telescope_faces line 19
4. lemma OAI.GridClosedLabels.potential_horizontal line 28
5. theorem OAI.GridClosedLabels.exact_of_closed line 41
6. def OAI.GridClosedLabels.rayPotential line 54
7. lemma OAI.GridClosedLabels.ray_horizontal line 57
8. lemma OAI.GridClosedLabels.ray_vertical line 69
9. lemma OAI.GridClosedLabels.square_binary line 91