OAI/NumberTheory/ShortEgyptian/DensityBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ShortEgyptian.density_recurrence line 12
2. lemma OAI.ShortEgyptian.alpha_depth line 32
3. lemma OAI.ShortEgyptian.density_unrolled line 52
4. lemma OAI.ShortEgyptian.eventually_density_numeric line 73