OAI/Combinatorics/RamseyFive/Marking/ReciprocalDropNumerics.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.ParameterHierarchy.reciprocal_drop_ratio line 12
2. lemma OAI.SharpRamseyFive.ParameterHierarchy.eventually_reciprocal_drop_fraction line 34
3. lemma OAI.SharpRamseyFive.ParameterHierarchy.open_gap_scale line 46
4. lemma OAI.SharpRamseyFive.ParameterHierarchy.reciprocal_integer_pack line 63
5. theorem OAI.SharpRamseyFive.ParameterHierarchy.eventually_reciprocal_packing line 151