Theorem HasStrictDerivAt.eventually_left_inverse

Modification history

2026-01-06 17:44
Mathlib/Analysis/Calculus/InverseFunctionTheorem/Deriv.lean
feat(Analysis/Analytic): analytic order of a composition (#33000) …
Added HasStrictDerivAt.eventually_left_inverseView on Github →