Theorem analyticOrderAt_deriv_of_pos

Modification history

2026-03-10 15:02
Mathlib/Analysis/Analytic/Order.lean
feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 3/5) (#35315)
Added analyticOrderAt_deriv_of_posView on Github →