Commit 2026-03-10 15:02 d9cd7ac9

View on Github →

feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 3/5) (#35315)

Estimated changes

Modified Mathlib/Analysis/Analytic/Order.lean

added theorem analyticOrderAt_deriv_of_pos

added theorem analyticOrderAt_iterated_deriv