Theorem Function.locallyFinsuppWithin.toClosedBall_divisor

Modification history

2026-01-06 18:25
Mathlib/Analysis/Complex/ValueDistribution/CountingFunction.lean
feat: use new predicate `Meromorphic` in Value Distribution Theory (#33231) …
Modified Function.locallyFinsuppWithin.toClosedBall_divisorView on Github →
2025-11-19 13:28
Mathlib/Analysis/Complex/ValueDistribution/CountingFunction.lean
feat: describe the logarithmic counting function in terms of circle averages (#31583) …
Added Function.locallyFinsuppWithin.toClosedBall_divisorView on Github →