locally_euclidean 19 Aug 2025 in Public |w−z0||z−z0|=1. This part of the proof is wrong, it is supposed to be less than 1. Error