OAI/Analysis/PlanarPacking/HalfGapSmall.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpPlanar.analytic_two_cap line 6
2. lemma OAI.SharpPlanar.analytic_first_left line 26
3. lemma OAI.SharpPlanar.analytic_first_right_true line 36
4. lemma OAI.SharpPlanar.analytic_first_right_false line 46
5. lemma OAI.SharpPlanar.analytic_3_left line 62
6. lemma OAI.SharpPlanar.analytic_3_right line 73
7. lemma OAI.SharpPlanar.analytic_4_left line 84
8. lemma OAI.SharpPlanar.analytic_4_right line 95