Theorem HasDerivAt.of_comp_left

Modification history

2026-05-19 17:03
Mathlib/Analysis/Calculus/Deriv/Inverse.lean
feat: generalize `HasFDerivAt.of_local_left_inverse` etc (#39488)
Added HasDerivAt.of_comp_leftView on Github →