Theorem AnalyticAt.comp_of_eq'

Modification history

2026-06-04 08:41
Mathlib/Analysis/Analytic/Composition.lean
chore: use `to_fun` to auto-generated eta-expanded versions of `comp` declarations (#34361) …
Deleted AnalyticAt.comp_of_eq'View on Github →
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 →