Theorem MeromorphicOn.divisor_fun_zpow

Modification history

2025-10-28 09:17
Mathlib/Analysis/Meromorphic/Divisor.lean
feat: behavior of divisors when taking powers of meromorphic functions (#30238) …
Added MeromorphicOn.divisor_fun_zpowView on Github →