Theorem MeromorphicOn.extract_zeros_poles

Modification history

2025-05-13 09:36
Mathlib/Analysis/Meromorphic/FactorizedRational.lean
feat: eliminate zeros and poles in meromorphic functions (#24587) …
Added MeromorphicOn.extract_zeros_polesView on Github →