Theorem AnalyticAt.comp_of_eq'

Modification history

2025-01-26 07:04
Mathlib/Analysis/Analytic/Composition.lean
feat: mark AnalyticAt / MeromorphicAt for use with fun_prop (#21057) …
Added AnalyticAt.comp_of_eq'View on Github →