Theorem Function.locallyFinsuppWithin.logCounting_mono

Modification history

2026-02-03 14:54
Mathlib/Analysis/Complex/ValueDistribution/LogCounting/Basic.lean
chore: improve notation in log counting function of Value Distribution Theory (#34250) …
Modified Function.locallyFinsuppWithin.logCounting_monoView on Github →
2026-01-14 14:01
Mathlib/Analysis/Complex/ValueDistribution/CountingFunction.lean
feat: establish function properties of the Nevanlinna functions (#33889) …
Added Function.locallyFinsuppWithin.logCounting_monoView on Github →