OAI/Analysis/PlanarPacking/SignCaps.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpPlanar.error_zero_cap line 7
2. lemma OAI.SharpPlanar.error_one_cap line 12
3. lemma OAI.SharpPlanar.error_two_cap line 17
4. lemma OAI.SharpPlanar.error_large_cap line 23