OAI/NumberTheory/Catalan/Polynomial/ManuscriptRationalFieldSubstitutes.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.InternalCatalan.manuscript_rat_interval_add line 12
  2. theorem OAI.InternalCatalan.manuscript_rat_interval_scale line 19
  3. theorem OAI.InternalCatalan.manuscript_rat_interval_sum line 32
  4. theorem OAI.InternalCatalan.manuscript_logHErrorRat_nonneg line 46
  5. theorem OAI.InternalCatalan.manuscript_logHRat_interval line 62
  6. theorem OAI.InternalCatalan.manuscript_atanJRat_interval line 69
  7. theorem OAI.InternalCatalan.manuscript_scaledLogRat_interval line 84
  8. theorem OAI.InternalCatalan.manuscript_argApproxRat_interval line 92
  9. theorem OAI.InternalCatalan.manuscript_weightedComplexLogRat_interval line 102
  10. theorem OAI.InternalCatalan.manuscript_atanJRat_neg line 117
  11. theorem OAI.InternalCatalan.manuscript_argApproxRat_neg line 125
  12. theorem OAI.InternalCatalan.manuscript_weightedComplexLogRat_conj line 131
  13. theorem OAI.InternalCatalan.manuscript_x_substitute_interval line 146
  14. theorem OAI.InternalCatalan.manuscript_y_substitute_interval line 168