Theorem ValueDistribution.proximity_top

Modification history

2026-09-29 22:38
Mathlib/Analysis/Complex/ValueDistribution/Proximity/Basic.lean
feat: Truncated Counting Function of Value Distribution Theory (#41809) …
Modified ValueDistribution.proximity_topView on Github →
2025-05-15 08:18
Mathlib/Analysis/Complex/ValueDistribution/ProximityFunction.lean
feat: introduce the Proximity Function of Value Distribution Theory (#24876) …
Added ValueDistribution.proximity_topView on Github →