Mathlib Changelog
v4
Changelog
About
Github
Theorem
ValueDistribution.logCounting_const
Modification history
2025-12-03 08:00
Mathlib/Analysis/Complex/ValueDistribution/CountingFunction.lean
feat: behavior of the counting function under addition (#32311) …
Added
ValueDistribution.logCounting_const
View on Github →