OAI/Analysis/PlanarPacking/TailEnvelope.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpPlanar.direct_two_rat_cap line 9
2. lemma OAI.SharpPlanar.tail_second_rat_cap line 11
3. def OAI.SharpPlanar.tailData line 16
4. def OAI.SharpPlanar.tailErrorJet line 17
5. lemma OAI.SharpPlanar.tailErrorJet_deriv line 19
6. lemma OAI.SharpPlanar.tail_second_bound line 22