Theorem ValueDistribution.continuous_proximity_top

Modification history

2026-06-09 04:56
Mathlib/Analysis/Complex/ValueDistribution/Proximity/Basic.lean
feat: continuity of posLog (#40349) …
Added ValueDistribution.continuous_proximity_topView on Github →