Theorem ValueDistribution.proximity_zero_of_complexValued

Modification history

2025-05-15 08:18
Mathlib/Analysis/Complex/ValueDistribution/ProximityFunction.lean
feat: introduce the Proximity Function of Value Distribution Theory (#24876) …
Added ValueDistribution.proximity_zero_of_complexValuedView on Github →