OAI/Analysis/PlanarPacking/TailRationalBase.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpPlanar.min_div_lower line 12
2. lemma OAI.SharpPlanar.rational_pair_lower line 20
3. lemma OAI.SharpPlanar.rational_finite_lower line 34