Theorem MeromorphicOn.countable_compl_analyticAt

Modification history

2025-12-22 18:39
Mathlib/Analysis/Meromorphic/Basic.lean
feat: use new predicate `Meromorphic` (#33152) …
Deleted MeromorphicOn.countable_compl_analyticAtView on Github →
2025-12-17 17:45
Mathlib/Analysis/Meromorphic/Basic.lean
feat: meromorphic functions are measurable (#32675) …
Added MeromorphicOn.countable_compl_analyticAtView on Github →