Theorem AnalyticAt.comp_of_eq

Modification history

2024-06-19 11:32
Mathlib/Analysis/Analytic/Composition.lean
feat: add a few analytic function lemmas for future AnalyticManifold use (#13784) …
Added AnalyticAt.comp_of_eqView on Github →