OAI/NumberTheory/Catalan/Analysis/ManuscriptRealLogScaling.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.InternalCatalan.manuscript_rat_log_scaling_Ico line 12
2. theorem OAI.InternalCatalan.manuscript_rat_log_scaling line 35
3. theorem OAI.InternalCatalan.manuscript_real_log_scaling line 43
4. theorem OAI.InternalCatalan.manuscript_rat_real_log_scaling line 69