Theorem MeromorphicAt.comp_analyticAt

Modification history

2026-01-07 09:37
Mathlib/Analysis/Meromorphic/Basic.lean
feat: Upgrade theorem `MeromorphicAt.comp_analyticAt` (#33703) …
Modified MeromorphicAt.comp_analyticAtView on Github →
2026-01-06 17:44
Mathlib/Analysis/Meromorphic/Basic.lean
feat(Analysis/Analytic): analytic order of a composition (#33000) …
Modified MeromorphicAt.comp_analyticAtView on Github →
2025-08-27 02:16
Mathlib/Analysis/Meromorphic/Order.lean
feat(Analysis/Meromorphic): MeromorphicAt.comp_analyticAt (#28964) …
Added MeromorphicAt.comp_analyticAtView on Github →