Theorem ValueDistribution.proximity_inv

Modification history

2025-05-16 09:28
Mathlib/Analysis/Complex/ValueDistribution/ProximityFunction.lean
fix(whitespace): better `≡ᵀ` pretty-print and remove a space (#24946) …
Modified ValueDistribution.proximity_invView 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_invView on Github →