Theorem ValueDistribution.truncatedLogCounting_congr_codiscrete

Modification history

2026-09-29 22:38
Mathlib/Analysis/Complex/ValueDistribution/LogCounting/Truncated.lean
feat: Truncated Counting Function of Value Distribution Theory (#41809) …
Added ValueDistribution.truncatedLogCounting_congr_codiscreteView on Github →