Theorem MeromorphicOn.measurable

Modification history

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