Theorem analyticOrderAt_iterated_deriv

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_iterated_derivView on Github →