HurwitzUnivalentProof.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Discharge injective-limit Hurwitz using the proved zero-free theorem on a disk avoiding the other preimage and the analytic identity principle.