Theorem Function.locallyFinsuppWithin.logCounting_nonneg

Modification history

2025-11-12 06:28
Mathlib/Analysis/Complex/ValueDistribution/CountingFunction.lean
feat: behaviour of Nevanlinna functions under multiplication (#30494) …
Added Function.locallyFinsuppWithin.logCounting_nonnegView on Github →