OAI/Analysis/PathSelection/InverseAsymptotics.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Strip and exponential inverse asymptotics and logarithmic radii.

  1. lemma OAI.DegeneratingTrees.Clock.inverse_strip_tail line 16
  2. theorem OAI.DegeneratingTrees.Clock.inverse_strip_asymptotic line 66
  3. lemma OAI.DegeneratingTrees.Clock.tendsto_stripInfinity_of_re_and_bounded_im line 119
  4. theorem OAI.DegeneratingTrees.Clock.positive_exponential_inverse_asymptotic line 130
  5. lemma OAI.DegeneratingTrees.Clock.complex_real_limit line 264
  6. theorem OAI.DegeneratingTrees.Clock.logarithmic_radius_derivative line 270
  7. theorem OAI.DegeneratingTrees.Clock.inverse_radial_logarithmic_derivative line 305
  8. theorem OAI.DegeneratingTrees.Clock.inverse_composition_logarithmic_slope line 329
  9. theorem OAI.DegeneratingTrees.Clock.strip_derivative_zero_constant line 355