OAI/MathematicalPhysics/Heisenberg/CubeSurface.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.bad_slots_le line 13
2. lemma OAI.Heisenberg.bad_edges_le line 26
3. lemma OAI.Heisenberg.schedule_bad_eq line 49
4. lemma OAI.Heisenberg.box_card line 58
5. lemma OAI.Heisenberg.box_mem line 59
6. lemma OAI.Heisenberg.box_mono line 60
7. lemma OAI.Heisenberg.box_nonempty line 65
8. lemma OAI.Heisenberg.box_neighbor line 67
9. lemma OAI.Heisenberg.box_sub_card line 82
10. lemma OAI.Heisenberg.box_ratio_tendsto line 85
11. lemma OAI.Heisenberg.box_boundary_ratio_tendsto line 101